Add unit test that verifies fix for binary_check_expr::is_equal #6235

Job	Run time
build-libs-others-amd64 😨 (windows-latest, MultiThreaded)	6m 49s
build-libs-others-amd64 😨 (windows-latest, MultiThreadedDLL)	5m 43s
build-libs-linux-amd64-static 🎃	23m 2s
build-libs-linux-amd64 😁 (system_deps)	6m 17s
build-libs-others-amd64 😨 (macos-latest)	3m 50s
build-libs-linux-amd64 😁 (bundled_deps)	18m 6s
build-shared-libs-linux-amd64 🧐	5m 22s
build-libs-linux-amd64 😁 (system_deps_minimal)	4m 54s
build-shared-libs-macos-amd64 😨	1m 40s
test-libs-static (bundled_deps)	14m 54s
build-libs-linux-amd64 😁 (sanitizers)	14m 42s
build-libs-emscripten 🧐	4m 41s
build-libs-linux-arm64 😁 (system_deps)	11m 57s
build-libs-linux-arm64 😁 (bundled_deps)	19m 15s
run-e2e-tests-amd64 (system_deps)	9m 7s
build-libs-linux-arm64 😁 (system_deps_minimal)	9m 10s
run-e2e-tests-amd64 (bundled_deps)	19m 47s
build-libs-linux-arm64 😁 (sanitizers)	17m 47s
run-e2e-tests-amd64 (asan)	21m 43s
	3h 38m 46s

Provide feedback