feat: skip redundant range checks in brillig #4429

Job	Run time
build-acvm-js	2m 27s
build-noirc-abi	2m 19s
build-nargo	2m 18s
build-noir-wasm	2m 24s
noir-js-backend-barretenberg	51s
noirc_abi	39s
noir_wasm	1m 11s
Noir JS	1m 41s
ACVM JS (Browser)	1m 29s
ACVM JS (Node.js)	35s
Integration Tests (Browser)	5m 3s
noir_codegen	1m 5s
Integration Tests (Node)	5m 29s
End	1s
	27m 32s

Provide feedback