Added scalacheck

* Some initial generators in place