swift234

Tweak the SIL verifier to dump the whole function on verifier failures.

And use requireSameType in some places where it makes sense.

Swift SVN r25451