Two things noticed while working on #5932:
- The PushOrderFront could lead to an infinite loop if walking fails (this was the infinite loop, though the underlying cause is elsewhere).
- It's probably better to move in formation before moving, as there is no particular reason why the formation should already exist.