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_

Look at the existing test macros like `test_int_op!` in the codebase to understand the current testing pattern. Find the VM's arithmetic operation implementations to see how overflow is handled. Write new tests that trigger overflow for plain arithmetic operations (add, sub, mul) and verify the VM's behavior matches expectations.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.