crdt: GLA: keep learner state bounded
crdt: GLA: keep learner state bounded

Each learner should only keep track of the acceptor votes from the most
recent proposal from each proposer

scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris