proptest-stateful: add tracing

Use tracing instead of println!

Change-Id: I566c53c8d11e5442bad4d5deb50eea5adbb0bca0
Reviewed-on: https://gerrit.readyset.name/c/readyset/+/10519
Tested-by: Buildkite CI
Reviewed-by: Michael Zink <michael.z@readyset.io>

Author: altmannmarcelo

Cargo.lock

@@ -21,6 +21,7 @@ async-trait = "0.1"
 proptest = "1.7.0"
 rand = "0.9.1"
 tokio = { version = "1.37", features = ["full"] }
+tracing = { workspace = true, features = ["release_max_level_debug"] }
 
 [lints]
 workspace = true

proptest-stateful/Cargo.toml

@@ -26,6 +26,7 @@ use proptest::prelude::*;
 use proptest::strategy::{NewTree, ValueTree};
 use proptest::test_runner::TestRunner;
 use rand::distr::{Distribution, Uniform};
+use tracing::info;
 
 /// Used by the caller of [`test()`] for providing config options.
 pub struct ProptestStatefulConfig {
@@ -334,7 +335,7 @@ where
     let mut ctxt = runtime_state.init_test_run().await;
 
     for (idx, op) in steps.iter().enumerate() {
-        println!("Running op {idx}: {op:?}");
+        info!("Running op {idx}: {op:?}");
         runtime_state.run_op(op, &mut ctxt).await;
 
         // Note that if we were verifying results of any operations directly, it would be better to