Epic: Plookup Dynamic Arrays

[Savio-Sou]

Enable dynamic arrays to make use of RAM/ROM opcodes when supported by the proving backend, heavily optimizing constraint counts hence proving speed of dynamic arrays.

Tasks

Beta Give feedback

1. feat!: add support for ROM and RAM ACVM opcodes AztecProtocol/barretenberg#417
   +0
2. feat!: serialise RAM and ROM opcodes acvm-backend-barretenberg#153
   +0
3. chore!: allow backends to specify support for all opcode variants acvm#273
   +0
4. chore!: replace black_box_function_supported with supports_opcode acvm-backend-barretenberg#154
   +0
5. fix: block constraints with no witness assignment AztecProtocol/barretenberg#483
   +0
6. chore!: update to ACVM 0.13.0 noir#1393
   doc needed +1
7. bug fix: UltraPlonk RAM witnesses affect verification key AztecProtocol/barretenberg#520
   +0
8. fix: assume block constraint is only using new witness AztecProtocol/barretenberg#528
   +0
9. feat: use RAM/ROM opcode when supported by the backend noir#1282
   +0