[PATCH] Slightly more verbose error in Verifier

[Justin Bogner]

Philip Reames <listmail at philipreames.com> writes:
> I do not have commit access and will need someone to commit this patch.
>
> Patch Comment:
> Extend the error message generated by the Verifier when an intrinsic
> name does not match the expected mangling to include the expected
> name.  Simplifies debugging.

Committed with an 80-column fix in r203490. Thanks!