[indvars] Add tests for countdown style loops w/nonnegative IVs

Adding test coverage in advance of upcoming changes.  Note that these
tests specifically use unsigned comparisons for the backends, the
signed versions are fairly well handled by existing logic.