z3java: Ported all operators to new java z3 interface

 * Temporarily disable check constraint using smtlib