Add tests for almost all StateT exercises