Adds a trivial version of the flipflopautomata and two tests for it.
Makes StateRef fully const, and takes it by copy for ifstate/actstate cases.
Updates flipflopautomata to support stealing.
Adds redaction and stealing tests to the flipflo automata.
Adds a test that automatically flipflops between the outer and inner loops.
Simplify flipflop test.