adding configuration to pass options to the ghc call in quickcheck[narrowing]
adding configuration to pass options to the ghc call in quickcheck[narrowing]

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle