Requested feature: A new option that can be used for extracting the counterexample trace without turning on coverage.
Use case: RMC's --visualize option can be very time consuming in some cases because it turns on coverage. In cases where the user is only interested in a counterexample trace, incurring the cost of turning on coverage might be undesirable.
Link to relevant documentation (Rust reference, Nomicon, RFC):
Is this a breaking change?

Test case: