Text this: Verifying Robustness of Neural Networks in Vision-Based End-to-End Autonomous Driving