quorumSet of leader should be ConCurrentHashMap instead of just HashMap

In our current implementation different processors will read quorumSet while main thread will change quorumSet. It has a very low probabilities of causing "concurrent modification exception".