> Integer overerflow is still not caught by default even in rust for efficiency reasons

Honestly, I don't think that was the right default, but it is configurable at the project level for release builds. If I were deploying tools, I would certainly enable them, just like the Android team does.