[boost] Re: Status of BOOST_ASSERT?