clean up PaxosService trimming

simplify simplify simplify

code shuffling aside, the one semantic change is that we trim at tick()-like intervals instead of at proposal time.  this means we make progress even when the service is otherwise idle, e.g., after a really long recovery finishes and the osdmap is suddenly static.