Test optimizer

[shargon]

First was good

/// 00 : PUSH2 [1 datoshi]
/// 01 : RET [0 datoshi]

Second overflow was done good

We don't check the overflow, it's well done when it's safe

[Jim8y]

for Biginteger we dont check range, yes.