Add QuickCheck package

Starting the process of pulling together stuff that's been lying around.