feat(ssa): Implement missing brillig constraints SSA check #16171

Job	Run time
build-noirc-abi	1m 42s
build-acvm-js	1m 28s
build-nargo	2m 23s
build-noir-wasm	2m 59s
yarn-lock	1m 12s
ACVM JS (Node.js)	43s
ACVM JS (Browser)	1m 13s
noirc_abi	1m 9s
Example scripts	15s
Noir JS	27s
noir_codegen	15s
Check external repo - ${{ matrix.project.repo }}	0s
Integration Tests (Node)	1s
noir_wasm	1s
Integration Tests (Browser)	1s
End	1s
	13m 50s

Provide feedback