Integer arithmetic in Cairo

[lukaszcz]

• For Cairo, translate "unbounded" integers to bounded 251 bit integers with range checks. Implement integer division and comparison.
• Depends on Support Cairo builtins #2683 for the range check builtin.