JavaSMT 4.0.0

This major release comes with several updated solvers and dependencies,
a new (potentially faster) evaluator for models,
and support for the theory of enumerations (domains of fixed size).

Breaking changes:

• The push-method in ProverEnvironments can throw InterruptedExceptions.
• Model evalation supports enumeration theory.
• Direct construction ArrayFormulaType was replaced with a static building method.

Updated solvers:

• MathSAT 5.6.10
• Z3 4.12.2
• CVC5 1.0.5