Store QuickCheck Args in Config instead of Params
Only print QuickCheck progress in interactive/color mode