Allow Configurable Verbosity

### 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.

The issue names no files, tests, or entry points. Start by locating CLI option parsing and the counterexample call-trace output. Done means supporting -vv/-vvv-style verbosity, including a level that shows only emitted events, while preserving the default output.

Written by the indexing model from the issue text.