Let A be an n element list. We will turn A into a heap (in place).
Recall that is 2i and is 2i+1.
Also, performs the down-heapify action starting at node i.