Additional assert for _safeAppendToBuffer
Restructure and update comments for _addMatching-limits behavior

The logic remains the same.
Also remove `fields` - nothing uses the term `fields` except for the fields projection.
Restructure and comment on _handleDoc logic for limits

Logic remains the same.
Better assertions in the oplog code
Add missing `_safeAppendToBuffer = false` and add clarity with comments