Natalie can provide initial states #2441

[sschriner]

Why:

Natalie can provide concrete data so that Manticore doesn't waste time

AC:

• Natalie can provide a serialized state and seed the run with it in the configuration dialog
• When Natalie click run, Manticore will start with the initial seed in its state list
• The seed state is validated to ensure the appropriate/matching binary is loaded in MUI, otherwise Natalie sees an error pop-up stating why it isn't possible to run

NOTES

Natalie can write a Manticore script that raises a SerializeState exception to generate the initial state seed that should be loaded.

Natalie could also choose a state from a previous MUI run to use as the seed.

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