Do both the wheel step and the CA step multiple times.
The high-to-low transition should be more probable than the low-to-high transition.
Even more robust probability test
Require only that the wheel/bit change AT SOME POINT, rather than with a certain frequency.
Require TMGas state machine to throw std::out_of_range on unrecognized input.