test: test for code that relies on the optimizer to be valid