finished invariants and Quicksort Analysis, todo: iterative merge sort + invariant