Finding bugs with Claude and property-based testing