Scalacheck

This pull request adds support for executing ScalaCheck properties inside SimpleSpec tests.