Chaos Testing stacks-node with Model-Based Stateful Testing

Part of the Expression Problem in Rust series, applying madhouse-rs to reproduce a real production bug in the Stacks blockchain that traditional testing couldn't catch.