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

Job	Run time
build-nargo	2m 26s
build-noirc-abi	1m 29s
build-acvm-js	1m 29s
build-noir-wasm	3m 42s
yarn-lock	1m 14s
noirc_abi	1m 22s
ACVM JS (Node.js)	39s
ACVM JS (Browser)	1m 20s
noir_codegen	1m 2s
Noir JS	1m 4s
Example scripts	12s
Check external repo - ${{ matrix.project.repo }}	0s
Integration Tests (Browser)	1m 57s
Integration Tests (Node)	2m 14s
noir_wasm	1m 40s
End	1s
	21m 51s

Provide feedback