[LoopDeletion] Remove over-eager SCEV verification.

60b852092c introduced SCEV verification to
deleteDeadLoop, but it appears this check is currently a bit over-eager
and some users of deleteDeadLoop appear to only patch up SE after
calling it (e.g. PR47753).

Remove the extra check for now. We can consider adding it back after we
tracked down the source of the inconsistency for PR47753.

llvm/lib/Transforms/Utils/LoopUtils.cpp

@@ -724,11 +724,6 @@ void llvm::deleteDeadLoop(Loop *L, DominatorTree *DT, ScalarEvolution *SE,
     }
     LI->destroy(L);
   }
-
-#ifndef NDEBUG
-  if (SE)
-    SE->verify();
-#endif
 }
 
 /// Checks if \p L has single exit through latch block except possibly