Thank you! I'd like to support property-based testing in the future. For this demo I focused on visualization and more exploratory testing. I figured that'd ma

Thank you! I'd like to support property-based testing in the future. For this demo I focused on visualization and more exploratory testing. I figured that'd make the demo more approachable to people who weren't already into fuzzing or formal methods. But being able to automatically discover non-crashing bugs using property-based testing could be pretty powerful.