astewart-bah

updated timeout to run in thread to fix unsafe exception handling

2

When trying to make a chain for a specific binary, we 100% reliably get this exception: ``` [angrop] Timeout Exception ignored in: Traceback (most recent call last): File "/dev/shm/.venv/lib/python3.10/site-packages/z3/z3.py", line...