finish proof of live_successor_changed_improves (and friends)
finish proof of live_successor_changed_improves (and friends)

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord