Well, original CHECK is not fatal. Do you really think this should be changed?

And I'm not familiar with MongoDB's codebase, what does `verify` do?