prio: do not heapify leaves
prio: optimize swapping Tasks
prio: optimize heapify()