Reconfiguration works.
Added reconfiguration test.
merge conflicts in proposer