microsoft/compiler: Remove code after discard/terminate in later optimization steps

Instead of removing instructions in the block so that a jump can be inserted, just create a new block to insert it in. Then we'll lower the returns and optimize constant control flow later on. No need to reinvent the wheel.