Property-based Tests: Safe math operations

[martinvibes]

Add property-based tests for all operations in safe_math.rs. Use proptest to verify overflow protection, underflow protection, division by zero handling, and that safe_math results match standard math for in-range values.