Added command line parameters to quickcheck.