quickCheck setup and description of algorithm