[SCEV] Defer loop property checks from ea12c2cb as late as possible

This is a speculative compile time optimization to address a reported regression.  It's the only thing which vaguely makes sense.