Optimize reversed(range(...)), with non-constant values.

One potential problem is that is does not generate warnings on the division, however we know that `step_value != 0`. I have a much larger test file on my computer, if there are doubts of the basic functionality. Hopefully it fits into the structure properly this time, if not comments are welcome.