Fail/unfail should now work with leader election such that the replica with lowest ID is elected as the new leader. Only guaranteed to work with 1 crash failure.
Leader election is fixed. Revival after unfail with update is fixed..Need to fix storage og proposals that are learned
Should now be working without bugs, with up to 2 crash failures on 5 replicas
Merge branch 'leaderelection'