Bound checks for numbers

[clearloop]

Describe the feature

for example,

fn addition(x: i32) -> i32 {
  x + i32::MAX
}

• Introduce bound checks for i32, u32, i64 and u64, use 'zink::revert!' on overflow
• tests are required, introduce a new test in examples for doing it

Solution

No response

[sobuur0]

@clearloop assign me