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

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator