I'm writing an article that is designed to introduce readers on property-based testing for CosmWasm smart contracts. Start with an introduction about the importance of testing smart contracts (since they power dApps that hold millions or even billions of dollars worth of assets). It is currently difficult and annoying to test CosmWasm smart contracts, and even more painful to get it right (who tests the tests?), and introduce property-based testing using Rust `proptest` as the solution, by allowing users to write declarative properties about contract invariants in specific conditions, and magically getting the computer to discover tricky edge cases or even find unique properties that you didn't know.