Leave off block cleanups when the end of the block is unreachable

[marijnh]

This'll be less of an issue once we stop generating multiple copies of clean up sequences, but will still make a difference in pointless bitcode. Right now, this is responsible for a lot of dead code.

[marijnh]

This is done by 4204845