~execution_context();
Effects: Destroys an object of class execution_context. Performs shutdown() followed by destroy().