Quickcheck update

Sorry for the multiple commits - accidentally brought in my .cabal-sandbox, then deleted that.