Tests arith ops overflowing behaves as expected

Ranges are chosen to avoid overflow as `test_int_op!` and related macros only handle the happy path. It seems like we don't yet have tests which verify plain (i.e. not checked/overflowing) arith ops behave as expected in the VM when the result overflows?

_Originally posted by @mooori in https://github.com/0xMiden/compiler/pull/1287#pullrequestreview-4827928194_

查看代码库中现有的测试宏（如 `test_int_op!`）以了解当前的测试模式。找到虚拟机的算术运算实现，查看溢出是如何处理的。编写触发简单算术运算（add、sub、mul）溢出的新测试，并验证虚拟机的行为是否符合预期。

由索引模型根据 Issue 内容生成。