Implement quick compile time integer range analysis

This is an enhancement that will provide better callsite type info for lazy jitting and hopefully also handle simple things that turning loop variables into ints instead of doubles.