Update Z3 to version 4.8.5

Author: romac

project/Build.scala

@@ -6,7 +6,7 @@ import scala.sys.process._
 object ScalaZ3Build {
 
   lazy val z3SourceRepo = "https://github.com/Z3Prover/z3.git"
-  lazy val z3SourceTag  = "z3-4.7.1"
+  lazy val z3SourceTag  = "Z3-4.8.5"
 
   lazy val PS = java.io.File.pathSeparator
   lazy val DS = java.io.File.separator

src/main/scala/z3/scala/Z3Optimizer.scala

@@ -67,7 +67,7 @@ class Z3Optimizer private[z3](val ptr: Long, val context: Z3Context) extends Z3O
   private[this] var lastResult: Option[Boolean] = None
 
   def check(): Option[Boolean] = {
-    val res = i2ob(Native.optimizeCheck(context.ptr, this.ptr))
+    val res = i2ob(Native.optimizeCheck(context.ptr, this.ptr, 0, null))
     lastResult = res
     res
   }