Drive tests and display the result in a more elegant form.
with-quickcheck: enable use of quickcheck as a test provider
This project is licensed under the [MIT] OR [Apache-2.0] dual license.
Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in keynesis by you, shall be licensed as MIT OR Apache-2.0 dual
license, without any additional terms or conditions.