Add Trace Validation Harness for Extended TLA+ Spec#382

Qian-Cheng-nju wants to merge 2 commits into

etcd-io:mainetcd-io/raft:mainfrom

specula-org:pr2-harnessspecula-org/raft:pr2-harnessCopy head branch name to clipboard