bug: deploying token contract with proven fails to satisfy constraint

[just-mitch]

Deploying the Token contract with proving on no longer works, it fails to prove in the PXE.

@PhilWindle Tracked it down to this commit.

Logs/Stack:

Added contract Token at 0x18ef
Executed local simulation for 0x24666

{"hostname":"gke-aztec-gke-aztec-node-pool-6b6ed5c2-hznc", "level":50, "module":"pxe_service", "msg":"Error: Error: Cannot satisfy constraint
    at module.exports.__wbg_constructor_f8f83aa6ec3644b9 (/usr/src/noir/packages/acvm_js/nodejs/acvm_js.js:659:17)
    at acvm_js::js_execution_error::JsExecutionError::new::hebdb1fd5d8918eaa (wasm://wasm/0091f51a:wasm-function[639]:0x1223b5)
    at acvm_js::execute::ProgramExecutor<B>::execute_circuit::{{closure}}::hdef4865f37ab532b (wasm://wasm/0091f51a:wasm-function[76]:0x4e7aa)
    at acvm_js::execute::execute_program_with_native_program_and_return::{{closure}}::h4055275b2107668e (wasm://wasm/0091f51a:wasm-function[420]:0xfb30d)
    at acvm_js::execute::execute_program_with_native_type_return::{{closure}}::hfd113d3fb49d29e9 (wasm://wasm/0091f51a:wasm-function[493]:0x10a673)
    at wasm_bindgen_futures::future_to_promise::{{closure}}::{{closure}}::h31652aa40bcb8f1c (wasm://wasm/0091f51a:wasm-function[395]:0xf53a0)
    at wasm_bindgen_futures::queue::Queue::new::{{closure}}::he31c90183f9be757 (wasm://wasm/0091f51a:wasm-function[714]:0x12c91b)
    at <dyn core::ops::function::FnMut<(A,)>+Output = R as wasm_bindgen::closure::WasmClosure>::describe::invoke::h624a3dfbf78ca22a (wasm://wasm/0091f51a:wasm-function[2391]:0x181f6a)
    at __wbg_adapter_22 (/usr/src/noir/packages/acvm_js/nodejs/acvm_js.js:220:10)
    at real (/usr/src/noir/packages/acvm_js/nodejs/acvm_js.js:205:20) {
  callStack: [ '4705' ],
  rawAssertionPayload: undefined,
  brilligFunctionId: undefined
}", "pid":1}

Repro:

Terminal 1 - run anvil
Terminal 2 - run a sandbox

export ETHEREUM_HOST="http://127.0.0.1:8545/"
cd ~/aztec3-packages/yarn-project/aztec
yarn start start --sandbox

Terminal 3 - run the bot

export AZTEC_NODE_URL="http://127.0.0.1:8080/"
export BOT_TX_INTERVAL_SECONDS=1
export BOT_PUBLIC_TRANSFERS_PER_TX=1
export BOT_PRIVATE_TRANSFERS_PER_TX=1
export BOT_FOLLOW_CHAIN="NONE"
export PROVER_REAL_PROOFS=true
export PXE_PROVER_ENABLED=true
export BOT_NO_START=false
export BB_BINARY_PATH=/mnt/user-data/phil/aztec3-packages/barretenberg/cpp/build/bin/bb
export BB_WORKING_DIRECTORY=/mnt/user-data/phil/tmp
export LOG_LEVEL=debug
export AZTEC_PORT=8081

./yarn-project/aztec/dest/bin/index.js start --bot --pxe

[LeilaWang]

Fixed by #10593. Tracking the cause of the problem in #10592