Allow Configurable Verbosity

[DanielGelfand]

Describe the desired feature

Currently the entire call trace is displayed when a counterexample is encountered. Allow for configurable verbosity as in Foundry: -vv, -vvv, etc.

Allow for a verbosity such that only emitted events are displayed. This will prevent the need to sift through all calls to find the necessary events emitted.

[aviggiano]

I'd love to see that feature, especially since I don't care about the full thrace in some cases.