HeapifyDown to complete, and other TODO