Trusted Yet Flexible: High-Level Runtimes for Secure ML Inference in TEEs | Synapse