Property-based testing for Elixir (QuickCheck style).