add != support to Z3
throw error when synchronous (doesn't work if in callback)
fix for priorities in Z3
don't throw this in compat mode
Merge pull request #13 from babelsberg/z3-fixes

Z3 fixes