Use `std::shared_ptr<Transition>` for Execution

Use `std::shared_ptr<Transition>` for Execution

Prior to this commit, the `Execution` class
maintained raw pointers to the transitions
maintained by the stack used in DFSExplorer.
Instead, we opt for the execution to contain
a collection of shared pointers to facilitate
the creation of partial executions