We define a (now deprecated) macro called verify(), which is similar to invariant(). verify() is a very common name for functions, so it clashes with third party code sometimes, notably with abseil's btree_set.

It would be helpful to rename verify() to mongo_verify() to avoid name clashes.

This requires changes to both mongodb and the enterprise module.