Fizzbuzz with property based testing