[SCEV] make SCEV smarter about proving no-wrap.