Assert in-place properties of sorting algorithms.