Add ScalaZ3 to build dependencies.