Use case: Debugging a failure in a harness_for_contract is nearly impossible today. Having concrete playback or something else that prints the initial values would really help!
Link to relevant documentation (Rust reference, Nomicon, RFC):