Overflow checking in constant arithmetic

[LucasSte]

There should be overflow checking in arithmetic operations using constants. E.g. uint8 = 128 + 128 should raise an error.

Ideally, this check can be done in function eval_const_number in src/sema.