Implemented downheap().