swift234

Put all of SILFunction verification into the SILVerifier.

This centralizes the code and also puts all of the verification code behind a
pretty stack trace.

Swift SVN r25984