Segfaults with z3-solver version `4.8.0.0`

[johnbender]

I was able to reproduce on nearly any contract.

Using an older version (in my case 4.5.1.0) solved the issue. Maybe consider providing constraints in a requirement.txt or in setup.py?

If you have issues reproducing this I can post a contract that will reproduce.