[Boost-users] Dynamic Bitset formal review - half way point