Property-based testing examples using Scalacheck