Removes redundant checks from unifier. #23291

Job	Run time
build-sway-lib-core	55s
build-sway-lib-std	1m 20s
get-fuel-core-version	30s
build-forc-doc-sway-lib-std	1m 36s
build-forc-test-project	13m 0s
build-mdbook	7m 14s
build-reference-examples	1m 27s
build-sway-examples	1m 16s
cargo-build-workspace	3m 8s
cargo-clippy	3m 17s
cargo-fmt-check	12s
cargo-run-e2e-test-evm	10m 2s
cargo-test-forc	4m 54s
cargo-test-lib-std	6m 59s
cargo-test-sway-lsp	8m 17s
cargo-test-workspace	9m 2s
cargo-toml-fmt-check	14s
cargo-unused-deps-check	7m 42s
check-sdk-harness-test-suite-compatibility	32s
forc-fmt-check-panic	2m 7s
forc-fmt-check-sway-examples	47s
forc-fmt-check-sway-lib-core	58s
forc-fmt-check-sway-lib-std	1m 3s
forc-pkg-fuels-deps-check	17s
forc-run-benchmarks	3m 28s
forc-unit-tests	7m 17s
pre-publish-check	0s
cargo-test-forc-client	3m 19s
cargo-test-forc-debug	2m 26s
cargo-run-e2e-test-release	17m 28s
cargo-run-e2e-test	17m 35s
notify-slack-on-failure	1s
build-publish-master-image	0s
publish	0s
build-publish-release-image	0s
Build and upload forc binaries to release	0s
verifications-complete	0s
	2h 18m 23s

Provide feedback