Fix bitcode parser to check type signatures of functions.

tests_lit/parse_errs/call-fcn-bad-param-type.ll

-; Test that even if a call parameter matches its declaration, it must still
-; be a legal call parameter type (unless declaration is intrinsic).
+; Test that a function parameter must be a legal parameter type (unless
+; declaration is intrinsic).
 
 ; REQUIRES: no_minimal_build
 
 ; RUN: %p2i --expect-fail -i %s --insts --args \
 ; RUN:      -allow-externally-defined-symbols | FileCheck %s
 
 declare void @f(i8);
+; CHECK: Invalid type signature for f: void (i8)
 
 define void @Test() {
 entry:
   call void @f(i8 1)
-; CHECK: Argument 1 of f has invalid type: i8
   ret void
 }