changing quickcheck_timeout to 30 seconds in mutabelle's testing
changing quickcheck_timeout to 30 seconds in mutabelle's testing

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