Send decision request from all participants.
Send decision request from all participants.

Resolve bug identified by the model checker.  When a commit message is dropped and the participants want to use the collaborative termination protocol (CTP), each participant -- not the coordinator -- needs to send a decision request/decision to every other participant.

lasp-lang/partisan