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

Job	Run time
build-nargo	2m 26s
build-noirc-abi	1m 15s
build-noir-wasm	3m 43s
yarn-lock	1m 3s
build-acvm-js	1m 31s
Load critical library list	3s
noirc_abi	1m 32s
ACVM JS (Node.js)	37s
ACVM JS (Browser)	1m 21s
noir_codegen	1m 9s
Example scripts	10s
Noir JS	1m 11s
Check external repo - ${{ matrix.project.repo }}	0s
noir_wasm	1m 53s
Integration Tests (Browser)	2m 8s
Integration Tests (Node)	2m 18s
End	1s
	22m 21s

Provide feedback