Non-Recursive Min-Heap Verification