fixing the ScalaZ3 build -- ScalaZ3Test was misnamed in the source file