Eric Hennenfent

Since the Yices certificate has expired, we probably want to switch to using the release published on their [Github page](https://github.com/SRI-CSL/yices2/releases/tag/Yices-2.6.4).

### Summary of the problem Since making the threading model the default form of multiprocessing (#1779), we've been encountering occasional worker crashes when performing long-running tasks due to SMTLib errors....

Support executing on a live EVM node

2

When using Manticore, it's often a major hassle to replicate the EVM testing environment. We should allow Manticore to connect to a live EVM node corresponding to a testnet so...

Regularly Measure Performance Benchmarks

1

In addition to having a benchmark we can use to evaluate correctness, we should automatically evaluate it frequently to track Manticore's performance over time.

Tracking development on #1698 See also: https://www.youtube.com/watch?v=KXq_xQFwleg

### Why We'd like for Manticore to eventually support saving and resuming execution states, possibly on different systems or with a large interval of time in between. In order to...