Certifiers Make Neural Networks Vulnerable to Availability Attacks