add docstring for test_heap_correctness_after_insertion.