Fast and Effective Robustness Certification for Recurrent Neural Networks