Add logging statements to mongod. These statements will be executed each time mongod performs an action modeled by any of our specs. They will output all internal state that is modeled by any of the TLA+ specs we plan to check against our implementation. For example, each time the server changes state (among primary, secondary, recovering, etc.), it must output the entire oplog, the current term, and the server state.

These logging statements will be in a new component, disabled by default. The statements must add no overhead when the log component is disabled.