Rename heapify to downHeap to keep it consistent with upHeap

Most text-books use "heapify" but in one text-book I remember the use of
"downHeap", so I didn't make it up.