Resetting / Updating return data tests

[OlivierBBB]

We need to do tests of the following form

ROOT calls [CONTRACT 1] // this call should produce nonempty return data
ROOT resumes
ROOT executes [RETURNDATA sensitive opcode]

ROOT calls or creates [successful / reverted / aborts / FAILURE via exception / failed precompile / other halting] // this call should squash return data
ROOT resumes
ROOT executes [RETURNDATA sensitive opcode]

ROOT calls [CONTRACT 2] // this call should either [BALANCE_ABORT / produce different return data]
ROOT resumes
ROOT executes [RETURNDATA sensitive opcode]

ROOT stops

This test should be made parametric

• the calls to CONTRACT 1 / CONTRACT 2 should be sourced from
  • simpleReturnDataProducer smc
  • precompile
  • nontrivial return data via REVERT
• this call should have the option to abort (yes/no)
• [RETURNDATA sensitive opcode]
  • from RETURNDATASIZE / RETURNDATACOPY