Simplify this code. LoopDeletion doesn't need to explicit check that

the loop exiting block dominates the latch block; if ScalarEvolution
can prove that the trip-count is finite, that's sufficient.

llvm-svn: 85165