Fixed acceptor and learner logic to match the algorithm

Both of them assumed the value not to change from lower ballot to
higher one. Paxos does not give any guarantees on that until the
majority of the acceptors agree, which in turn means that a proposer is
free to overwrite individual acceptor's value.