Add an assertion for integer wrapping behavior