Introduce a bunch of property-based tests

Author: michaelklishin

.gitignore

@@ -3,3 +3,4 @@
 .fleet/*
 profile.json
 .tool-versions
+*.proptest-regressions

Cargo.lock

@@ -40,6 +40,7 @@ rustls = { version = "0.23", features = ["aws_lc_rs"] }
 [dev-dependencies]
 assert_cmd = "2.0"
 predicates = "3.1"
+proptest = "1.5"
 
 [lints.clippy]
 uninlined_format_args = "allow"

Cargo.toml

@@ -13,4 +13,9 @@
 // limitations under the License.
 
 // Re-export modules for testing
+pub mod config;
+pub mod constants;
+pub mod errors;
+pub mod output;
 pub mod pre_flight;
+pub mod tables;

src/lib.rs

@@ -471,6 +471,12 @@ pub struct InteractiveProgressReporter {
     failures: usize,
 }
 
+impl Default for InteractiveProgressReporter {
+    fn default() -> Self {
+        Self::new()
+    }
+}
+
 #[allow(dead_code)]
 impl InteractiveProgressReporter {
     pub fn new() -> Self {
@@ -541,6 +547,12 @@ pub struct NonInteractiveProgressReporter {
     bar: Option<ProgressBar>,
 }
 
+impl Default for NonInteractiveProgressReporter {
+    fn default() -> Self {
+        Self::new()
+    }
+}
+
 #[allow(dead_code)]
 impl NonInteractiveProgressReporter {
     pub fn new() -> Self {
@@ -590,6 +602,12 @@ impl ProgressReporter for NonInteractiveProgressReporter {
 #[allow(dead_code)]
 pub struct QuietProgressReporter;
 
+impl Default for QuietProgressReporter {
+    fn default() -> Self {
+        Self::new()
+    }
+}
+
 #[allow(dead_code)]
 impl QuietProgressReporter {
     pub fn new() -> Self {