eventual timeout clearing basically done
eventual timeout clearing basically done

There are several admits left with nontrivial proofs but I'm certain they'll go
through.

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