advance left index when swapping left and right element

both are non-dead; advancing index allows for simplier progress guarantee
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