Right now it is the case a player has to destroy his armies by himself if that player has 0 production locations left after a retreat phase in fall.
My experience is that these players in general are not very motivated to do so. This in turn means that a timer is needed often to end the build phase after one or more players lost their last production location.
A simple solution that would not change the gameplay would be to check for the amount of armies left per player after the build phase. If this is 0 automatically fill in destroy orders for all units of this player.