Support the newest Z3 version (z3-4.11.2)

[Alf0nso]

Running Liquid Haskell with newer versions of z3 causes this error:

crash: SMTLIB2 respSat = Error "line 4 column 27: unknown parameter 'model_partial', this is an old parameter name, invoke 'z3 -p' to obtain the new parameter list"

Mentioned in this issue: #622
In this pr we removed the z3 "model.partial false".
On older versions of z3 the default option was already false.
Invoke z3 -p and we get:

[module] model
    ...
    partial (bool) (default: false)

[nikivazou]

Thanks @Alf0nso!!!!!! Can we have a pull request in LH too that links to this change?

[oquechy]

Thanks @Alf0nso!!!!!! Can we have a pull request in LH too that links to this change?

@nikivazou do you think we can do this before merging the new change into fixpoint?

[nikivazou]

yes, lets make sure nothing breaks in LH before merging this in fixpoint!