Nonincreasing insertion sort.