need to still verify if algo for A[i] = i part runs in O(lg n) time
final heapsort now OK
final corrections to heapsort algo OK
Merge branch 'alt'
run length encoded string program OK