Our TLA+ specs assume the oplog is never truncated. This is a reasonable simplification and makes our specs closely resemble the abstractions in Raft, and it permits us to verify Raft's "Log Matching Property".

Introduce a failpoint to disable truncation. We will enable the failpoint in mongod in preparation for extracting an execution trace from mongod's log and checking it against our TLA+ specs.