Function tvm::tirx::transform::VerifyMemory