adding testing of ScalaZ3 to the build process