[SCEV] Don't require positive BTC when non-zero is sufficient

The only thing we care about here is that we don't exit on the
first iteration. Whether the BTC is large enough to overflow the
signed integer space is not relevant.