Property-based testing library for Elixir (QuickCheck style).