We are working on data generation and property-based testing for the next versions of Elixir.