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

Job	Run time
yarn-lock	1m 3s
build-acvm-js	1m 28s
build-nargo	2m 38s
build-noirc-abi	1m 24s
build-noir-wasm	3m 43s
Load critical library list	7s
noirc_abi	1m 24s
ACVM JS (Node.js)	39s
ACVM JS (Browser)	1m 25s
Noir JS	1m 1s
noir_codegen	1m 10s
Example scripts	16s
Check external repo - ${{ matrix.project.repo }}	0s
Integration Tests (Node)	2m 16s
noir_wasm	2m 7s
Integration Tests (Browser)	1m 49s
End	1s
	22m 31s

Provide feedback