Simple test runner.
Use this in a `main` function in order to test a list of
property groups. The runner will take into account several
command line arguments in order to adjust the number of
tests to be run for each property, the maximal number of
shrinks and the confidence value to use.
```idris example
main : IO ()
main = test myGroups
```
The resulting executable can then be run as follows:
```sh
build/exec/runTests -n 1000
```
It will fail with an exit code of 1 if at least one property
fails.
Totality: total
Visibility: export