[Boost-announce] Dynamic Bitset formal review results