Copy constructor.
execution_state( const execution_state& other);
Strong guarantee. Internal allocations may throw.
*this lifetime will be independent of other's.
*this
other