Sets up QuickCheck + adds card tests