Model-Based Stateful Testing with proptest-state-machine

Part of the Expression Problem in Rust series, demonstrating how proptest-state-machine's enum-based design becomes a bottleneck at scale.