Added random tiebreak for S0
Rewrote opt1 to use restarting mode uniformly for all strategies, and
to use method of equalising work spent at difficult states with work
spent at mode state.