Detect runs, pad with Binary Insertion Sort, merge via stack invariants
Bottom of stack at bottom. Invariants: A > B+C, B > C.