bumped Z3 version

Z3 now exports Z3.Expr.equal and Z3.Expr.compare