fix: bump crs to handle range checks (#5724)

Please read [contributing guidelines](CONTRIBUTING.md) and remove this
line.

barretenberg/cpp/src/barretenberg/bb/main.cpp

@@ -531,8 +531,8 @@ void avm_prove(const std::filesystem::path& bytecode_path,
     }
     std::vector<fr> const call_data = many_from_buffer<fr>(call_data_bytes);
 
-    // Hardcoded circuit size for now
-    init_bn254_crs(256);
+    // Hardcoded circuit size for now, with enough to support 16-bit range checks
+    init_bn254_crs(1 << 17);
 
     // Prove execution and return vk
     auto const [verification_key, proof] = avm_trace::Execution::prove(avm_bytecode, call_data);

yarn-project/simulator/src/public/avm_executor.test.ts

@@ -67,5 +67,5 @@ describe('AVM WitGen and Proof Generation', () => {
     const [proof, vk] = await executor.getAvmProof(execution);
     const valid = await executor.verifyAvmProof(vk, proof);
     expect(valid).toBe(true);
-  });
+  }, 60 * 1000); // 60 seconds should be enough to generate the proof with 16-bit range checks
 });