Declare LoopCounterSymbols nonnegative

This removed some checks like `ctr1 <= 0` from my kernels
10 jobs for LoopCounterSymbols-nonnegative in 3 minutes and 34 seconds (queued for 2 seconds)
latest