Describir: Learning-Based Certification for Learning-Based Control