Test the different approaches to statefulness

[Nadrieril]

trafficstars

In a coming PR, I will remove a duplicated test that was added to test -backward-no-state-update. We should add a test back to make sure we exercise all the codegen options.