SERVER-12355: add "invariant" for invariant checking in server code
SERVER-12355: make IndexCatalog use invariant instead of verify