raft: add tests for progress.maybeDecr