check that window_used decreases as window_start is advanced when
acknowleding DOFs on the TX side.