Added quickcheck file. Right now it doesn't compile since "it can't find Test.QuickCheck", for unknown reasons.