Review overflow-check detector

[arturoBeccar]

The check is only done in debug mode but not on release mode so it does it is not sufficient to catch overflows on release mode.

https://doc.rust-lang.org/stable/book/ch03-02-data-types.html#integer-overflow