Add a simple scalacheck example with labeling.