Evelyn can view the coverage of how a Manticore state progressed through a smart contract #2440

[sschriner]

Why:

Evelyn wants to be confident that her analysis has covered the important parts of her target.

AC:

• Evelyn can right-click on any non-errored state and select view coverage
• Binary Ninja will clear all previous coverage highlights
• Binary Ninja will highlight the basic blocks that have been executed
• Evelyn is navigated to the last executed instruction

Implementation Question

• Should we only clear highlights that MUI added?

From: https://github.com/trailofbits/manticore/issues/2440