We've decided to stop implementation of the TLA+ Trace Checker and write the paper describing how far we got, so the extra logging code will become dead code soon. Once we've done any final experiments for the paper, revert the logging changes made for SERVER-43589 "Add logging to be used by TLA+ trace checker for RaftMongo.tla".

Update the instructions in https://github.com/mongodb-labs/repl-trace-checker/blob/master/README.md once we have reverted the logging changes.