We had two Coverity warnings that took some time to investigate before flagging as false positive. This is because WT_WITH_LOCK_WAIT works on the assumption the contents of WT_SESSION are only accessible by a single thread, but Coverity doesn't know that.

This ticket updates the macro comments to explain this assumption, and make it clear we can ignore future Coverity warnings for this macro.