Replaced BOOST_ASSERT by cassert