Execution Engine Object: Serves as a factory for specifications, builtin contracts (including internal contracts), and the EVM interpreter.