[boost] Mark throw_exception as noreturn?