Snapshot and truncate proposals

[zowens]

When a proposal is executed, the decision command is still held within the SlotWindow. To properly implement truncation, this needs to be propagated to through the Paxos protocol.