verified MaxHeapify and MakeHeap