In praise of property-based testing - eviltoast