This fixes a few uses of unkeyed Body literals which go vet was complaining about.
* Removed some strange code that didn't apply state reverting properly * Refactored code setting from vm & state transition to the executioner * Updated tests