chase-rs/tests/property_tests.rs