check_invariant(): Use the same child->parent "formula" used by heapq.py.