Add very crude property-based testing demo