fix: Enforce matching types of binary ops in SSA #4086

Job	Run time
build-acvm-js	2m 24s
build-acvm-js	2m 24s
build-nargo	2m 37s
build-nargo	2m 37s
build-noir-wasm	2m 41s
build-noir-wasm	2m 41s
build-noirc-abi	2m 26s
build-noirc-abi	2m 26s
ACVM JS (Node.js)	31s
ACVM JS (Node.js)	31s
ACVM JS (Browser)	2m 4s
ACVM JS (Browser)	1m 17s
noirc_abi	39s
noirc_abi	39s
noir-js-backend-barretenberg	44s
noir-js-backend-barretenberg	44s
Noir JS	1m 39s
Noir JS	1m 39s
noir_codegen	55s
noir_codegen	55s
noir_wasm	1m 3s
noir_wasm	1m 3s
Integration Tests (Node)	5m 24s
Integration Tests (Node)	5m 24s
Integration Tests (Browser)	5m 2s
Integration Tests (Browser)	5m 2s
End	1s
End	1s
	55m 33s

Provide feedback