George can view a state provenance tree

[sschriner]

Why:

George wants to better understand the state exploration

AC:

• George can right-click on a state and asks for its provenance tree
• A graph is shown of all its ancestor states in a single list (because we only care about the number of forks)
  • The nodes are the ID and the current instruction
• George can click the ancestor state node to navigate to that instruction that caused the fork

Questions

Do we know the next instruction of a forked state?

From: trailofbits/manticore#2439

From #5