refactor: replace queue with facade over CircuitProver #5642

Job	Run time
setup / start-builder	1m 1s
setup / setup	46s
yarn-project-test	8m 31s
bb-native-tests	3m 32s
yarn-project-formatting	8m 34s
build	10m 26s
bb-bench-binaries	36s
setup-bench / start-builder	4s
setup-bench / setup	9s
bb-bench	12s
e2e (e2e-browser)	1m 17s
e2e (e2e-docs-examples)	53s
e2e (e2e-sandbox-example)	1m 24s
e2e (e2e-tests)	16m 42s
e2e (flakey-e2e-tests)	4m 52s
e2e (guides-dapp-testing)	2m 43s
e2e (guides-writing-an-account-contract)	58s
e2e (integration-l1-publisher)	1m 45s
e2e (pxe)	34s
e2e (uniswap-trade-on-l1-from-l2)	8m 2s
merge-check	1s
notify	0s
	1h 13m 2s

Provide feedback