A property-based testing library for D