Let MachineVerifier be aware of mem-to-mem instructions.