delete boost.contract throwing_handler