it would be nice to have assert() statements in all access operators and for example rank() / select() function as it is quite easy to have an "off by one" error here.
it would not affect performance as assert() generates code if NDEBUG is not defined.