fix ChordProof.v after labeling, do some admits
fix ChordProof.v after labeling, do some admits

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