Re-apply 52002, allowing the verifier to accept non-MRV struct return

types on functions, with adjustments so that it accepts both
new-style aggregate returns and old-style MRV returns, including those
with only a single member.

llvm-svn: 52157