feat: remove truncations which can be seen to be noops using type information #2028

Job	Run time
build-acvm-js	3m 42s
build-nargo	2m 22s
build-noirc-abi	3m 40s
build-noir-wasm	5m 32s
noirc_abi	48s
noir-js-backend-barretenberg	39s
Noir JS	1m 26s
ACVM JS (Node.js)	32s
noir_codegen	55s
ACVM JS (Browser)	1m 41s
Integration Tests	8m 31s
noir_wasm	1m 0s
End	1s
	30m 49s

Provide feedback