Testing all the instructions for the whole zkVM.

[joseandro]

• [ ] test syscalls (issue: https://github.com/o1-labs/proof-systems/issues/2075)
• [ ] SyscallReadPreimage (Anaïs)
  • [ ] https://github.com/o1-labs/proof-systems/pull/2274 (in review by Danny)
  • [ ] https://github.com/o1-labs/proof-systems/pull/2276 (in review by Danny)
  • [ ] https://github.com/o1-labs/proof-systems/pull/2277 (in review by Danny)
  • [ ] https://github.com/o1-labs/proof-systems/pull/2278 (in review by Danny)
• [ ] SyscallWritePreimage (Anaïs)
• [ ] LoadWordLeft (Anaïs)
• [ ] LoadWordRight (Anaïs)
• [ ] StoreWordLeft (Anaïs)
• [ ] StoreWordRight (Anaïs)
• [ ] SyscallFcntl (Anaïs)