Flags for parametrization of testing (number of tests per property, number of success, emulation backend?, ...)

[RSoulatIOHK]

Description

As a user, I want to be able to specify some testing parameters through the CLI (number of tests for PBT, number of success for PBT, which tests to run(?), timeouts(?)) (RS: Basically a useful subset of the Quickcheck parameters, I guess)

Acceptance Criteria

• The tool allows the use of flags to customize the testing parameters (on the agreed list)