Let manticoreEVM output a script for each testcase

[feliam]

Idea:
Let manticoreEVM export a complete concrete manticore script to reproduce each specific testcase. Or maybe as a tool that process a testcase_00000xx.pkl and generates the concrete python example. Something like https://github.com/trailofbits/manticore/blob/yolo_master/examples/evm/minimal.py

[offlinemark]

or we could emit the transaction data in a standard format, and have a cli flag that lets you pass a transactions file for concrete replay.

manticore --txinput tx.json or something.

one issue with generating a script is that we need to make sure the scripts always work even when we make API changes.

[ehennenfent]

https://github.com/trailofbits/manticore/wiki/Ideas