swift234

Fix a few verifier messages to be consistent and correct.

In other places we print instructions in verifier messages the same way
they are printed in SIL text form, so do that for global_addr as well.

Also, fix the copy-paste-o where we have function_ref rather than
global_addr.

Swift SVN r29487