demo of some basic scalacheck, scalatest, sbt & maven techniques