A Docker-based error checker for Raft implementations.