public-vm(ts): add typed memory to VM simulation (u8, u16, u32, u64, u128(?), field)

[Maddiaa0]

Implement tagged memory within the VM simulator

Memory is written to in tagged regions, each arithmetic operation must have values that come from the same memory region. This effectively simulates operations between u8, u16, without needing to perform range checks on each operation.

Values must be range checked when they are written into the memory region.

links

• Memory in the Yellow Paper: https://yp-aztec.netlify.app/docs/public-vm/state-model
• Location of memory within the AVM (from pull request feat: avm executor - layout and groundwork #3928)

  aztec-packages/yarn-project/acir-simulator/src/avm/avm_context.ts

  Line 11 in 91025fa

  // TODO: implement tagged memory