Fix a minor error in the python utils helpers.
Improve printing of the options tested when running the test suite.
Abstract a few code generation arguments as class members of the Codegen.
Big correctness fixes when using the fast-forward mechanisms.
Abstract the fast-forward label to avoid passing it as an argument.
More fixes to the fast-forward mechanisms.
Extract generation of code for regepxs state transitions.