We now have a proper machine code verifier pass between register
allocation and rewriting.

llvm-svn: 158577