Vendor mini-QuickCheck for testsuite

sheafrequested to merge
sheaf/ghc:mini-qc into master

Tickets: #25990 (closed), #25969 (closed).

This MR extracts the vendored QuickCheck implementation from the foundation test, to make it more broadly available in the GHC testsuite, and makes use of it in the simd006 test (which also used a vendored QuickCheck implementation).

It also updates the linear congruential generator to avoid the shortcoming of only generating 31 bit large numbers.

TODO:

  • Add a new test mode in the test driver that handles the boilerplate of writing a test using this mini QuickCheck.
Edited by sheaf

Merge request reports