Write more system tests that use control flow/multiple blocks

[bmourad01]

We're finally able to support programs like this in the selector and so on. We should write tests that stress features such as (but not limited to):

• Generating non-trivial conditional branches/calls
• Control-flow optimizations (merging IR blocks, etc)
• Function calls in the middle of patch code.