Simple scala example of property-based-testing for tech talk