adds a scalacheck spec for producing output