Integrate Interleaved Symbolic Execution for external interactions

[degrigis]

Whenever the parameters for an external call are fully concrete, we should integrate the possibility of leveraging py-evm to perform that call and import the results insidegreed.

NOTE: We should think about what to do in case of reentrant code