WyRL: various bug fixes for StrategyRewriter.
This includes: use of Automaton.minimise() after applyUndo() succeeds in
changing automaton.  Tweaking the criteria for when to see the
oneStepUndo[] array.  Unfortunately, there are still problems with
infinite loops, so I suspect there are more bugs in StrategyRewriter
yet.