chore(deps): keep QuickCheck in test dependencies only

[rasheedja]

Summary

• Remove QuickCheck from the library's direct dependencies; no library source imports it.
• Retain QuickCheck in the test component, which uses it for property tests.
• Build and test the library with the narrower dependency declaration.

This cleanup targets master independently; it does not require the correctness fixes to merge first. The map-fold and printer cleanups are already included in #18 and #19.

Validation

• stack test --no-terminal: 271 examples, 0 failures on this branch.
• cabal check, Fourmolu 0.15.0.0, git diff --check, and stack haddock --no-haddock-deps passed.
• All five cleanup branches merge cleanly with each other and fixes fix(simplex): handle phase-one variables and constant constraints #17–fix(prettify): render fractions and separators correctly #19 in a temporary integration worktree.
• Combined integration suite: 288 examples, 0 failures.