Check if #[property_test] can replace proptest!{}

The complex [`proptest! { .. }`](https://docs.rs/proptest/latest/proptest/macro.proptest.html) macro causes issues with development tools, e.g., `rustfmt` cannot format the code inside it. As an attribute macro named [`property_test` ](https://docs.rs/proptest/latest/proptest/attr.property_test.html) has now been added, we should check if it can replace ` proptest! { .. }`.