Add about overflow-checks flag in release mode

Author: iglesias

src/coding-guidelines/types-and-traits.rst

@@ -14,17 +14,18 @@ Types and Traits
    :category: types
    :recommendation: required
 
-   Code must not rely on Rust's implicit integer wrapping behavior that occurs in release builds. 
-   Instead, explicitly handle potential overflows using the standard library's checked, 
+   Code must not rely on Rust's implicit integer wrapping behavior that may occur in release
+   builds. Instead, explicitly handle potential overflows using the standard library's checked, 
    saturating, or wrapping operations.
 
    .. rationale:: 
       :id: rat_kYiIiW8R2qD1
       :status: draft
 
       In debug builds, Rust performs runtime checks for integer overflow and will panic if detected.
-      However, in release builds (with optimizations enabled), integer operations silently wrap
-      around on overflow, creating potential for silent failures and security vulnerabilities.
+      However, in release builds (with optimizations enabled), unless the flag overflow-checks is
+      turned on, integer operations silently wrap around on overflow, creating potential for silent
+      failures and security vulnerabilities.
 
       Safety-critical software requires consistent and predictable behavior across all build
       configurations. Explicit handling of potential overflow conditions improves code clarity,