Add assertions that verify that the actual arguments to a call or invoke match

the prototype of the called function.

llvm-svn: 28070