Property-based testing - let your testing library work for you