swift234

[verifier] Make sure that applies of no-return functions have an unreachable as the next instruction.

This makes it easy to find no-return functions since one must iterate
through all BB with unreachable terminators and check the previous
instruction.

Swift SVN r25004