added QuickCheck howto notes