Text this: A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems