[MachineVerifier] Analyze MachineMemOperands for mem-to-mem moves.