快速排序：循环不变量划分法
pivot: A[lo]
[lo+1, i] < pivot
[i+1, j] 未确认
[j+1, hi) >= pivot