adding new arguments --quickcheck to run quicheck random solver and --parallel to run all solvers in parallel