After swapping, elements at left and right index are both at the correct position

Not neccessarily required for any progress guarantees, but still less comparision operations