Added RSI about write txn premature removal.
Added an ASSERT_NO_CORO_WAITING to remove_txn_set_from_graph.
Made new_semaphore_acq_t call move constructor of its intrusive_list_node_t base class.