1. Security: Integer Overflow in Guest-Controlled Arithmetic on `usize`/`u64` Values
A security scan of the codebase has uncovered integer overflow vulnerabilities in arithmetic operations on values that can be directly manipulated by untrusted guest code. The most critical finding is a HIGH-severity vulnerability where a guest-controlled `u64` register value is used without safe, wrapping arithmetic, ...