feat: ensure that generated ACIR is solvable #14835

Job	Run time
build-nargo	2m 22s
build-noirc-abi	1m 42s
build-acvm-js	1m 36s
build-noir-wasm	3m 51s
ACVM JS (Node.js)	47s
ACVM JS (Browser)	1m 38s
noirc_abi	2m 54s
Example scripts	12s
Noir JS	1m 12s
noir_codegen	1m 1s
Check external repo - ${{ matrix.project.repo }}	0s
noir_wasm	1m 53s
Integration Tests (Node)	2m 36s
Integration Tests (Browser)	2m 24s
End	1s
	24m 9s

Provide feedback