Use Z3_model_eval instead of the deprecated Z3_eval.

For BC we set reconstruct_models to false, but it might be
avantageous to turn it on and let Z3 complete partial models instead of
doing it ourselves later (i.e. in Leon).