update z3 api to latest

@andreistefanescu please review