Added "stateful testing" examples to verify the data model  correctness of a Text Editor, written in Jetpack Compose

It's a follow-up of my talks "Writing bulletproof code with Property-Based Testing" at Droidcon Lisbon 2022 & Droidcon Berlin 2022