Is the correctness of its implementation of the algorithm unaffected by bugs in this state machine? Maybe I missed something.

The raft algorithm works and if you implemented a less complex state machine (like using a simpler kv store that doesn't need global event ordering via revisions and watches) it would work. That's what antithesis said they did to test the raft algorithms in the other article linked