Tighten up verifier checks. The result of an invoke instruction only

dominates the normal destination, not the exceptional dest (ie, the result
of a call is undefined on an exception)

llvm-svn: 10841