paxos: primary log trimming is working on my simple trial case