Some twisted experiments with property-based tests