Check that the z3 version is the one we expect

[utaal]

If not, we may want to panic.

[utaal]

Possibly addressed by #245, which asks z3 and hardcodes the “current expected” version, and panics if it doesn’t match.

[parno]

Would it be worth considering a warning instead of a panic? Or perhaps a command-line switch to ignore the results of the check? We might want to experiment with other versions of Z3, or have the CI run with multiple versions, for example.

[tjhance]

i think the check is a good idea, but as bryan suggests, there ought to be a command line flag to opt out of the check.

[utaal]

Makes sense. I'm going to go with the panic with a flag to disable the check, because the warning may not be immediately visible when running tests.

[utaal]

This is implemented.