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