Booster: Only check SMT prelude in `initSolver` #6706

Job	Run time
Formatting and Style	1m 3s
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)	21m 58s
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)	27m 47s
HLint	1m 38s
Stack / Unit Tests	25m 20s
Nix / Integration	26m 15s
	1h 44m 1s

Provide feedback