Scaling Model-Based Stateful Testing with madhouse-rs

Part of the Expression Problem in Rust series, showing how madhouse-rs uses a trait-based design to escape the enum bottleneck.