Coverage Guided Testing for Recurrent Neural Networks