Add some control flow testcases
Add a test without optimizations to test spilling