ZJIT: Track integer ranges in the type system

[tekknolagi]

This will help reduce array and string index bounds checks. It can probably work for both CInt and Fixnum both