Added checkHeap() after each remove(x)