Add assertion checks after the calls to LowerFormalArguments, LowerCall,

and LowerReturn, to verify that the targets' hooks have respected some
of their postconditions.

llvm-svn: 78312