Include QuickCheck in Testing

We can now test for properties of functions.  You can use
`checkProperty' or `checkPropertyDeep' to check execute randomized tests
for given properties.