Currently we have an invariant in the destructor of the TransactionCoordinator that it has triggered all promises waiting on it, which basically amounts to the coordinator being in a state where it has decided to commit or to abort. I think this currently might be a problem if we shut down suddenly while there are coordinators in progress. We may need to run through all the coordinators on destruction and call "tryAbort", or else this invariant could be triggered.