Fix exponential compilation blowup in pattern matching and boolean si… #9024

Job	Run time
build-compiler (macos-15, 5.3.0, true, darwin-arm64, aarch64-apple-darwin)	3m 24s
build-compiler (ubuntu-24.04, ocaml-variants.4.14.2+options,ocaml-option-static, linux-x64, x86_6...	3m 4s
build-compiler (windows-2025, 5.3.0, true, win32-x64, x86_64-pc-windows-gnu, .exe)	3m 13s
build-compiler (ubuntu-24.04-arm, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, t...	3m 10s
build-compiler (macos-15-intel, 5.3.0, true, darwin-x64, x86_64-apple-darwin)	3m 17s
build-compiler (ubuntu-24.04, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, linux...	3m 10s
test-integration-rewatch	1s
pkg-pr-new	1s
api-docs	1s
test-installation-npm	1s
publish	1s
test-installation-pnpm	1s
	19m 24s

Provide feedback