Stable and correct version of Raft consensus

• Use https://github.com/lbinria/trace_validation_tools/releases/tag/v1.2
• Improve trace spec modules, execution scripts
• Improve README