This change also requires us to use the latest QuickCheck version in the GHC 8.4.x package set. Furthermore, the latest version of doctest has a broken test suite that needs to be disabled for the build to succeed.