Add QuickCheck Dependencies to run doctest properties