Property-Based Testing for the People