Text this: Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs.