Add MachineFunction::verify() to call the machine code verifier directly.