Options.trueMaxLevel

Convenience function that returns the maximum level such that

(level <= max_level()) && (level - min_level()) % level_mod() == 0.

This is the maximum level that will actually be used in coverings.