tl;dr: You can often get a lot more mileage out of time spent writing tests if you can find properties to test using randomized data instead of (or as well as) cases to test with specific data.