Describir: Scaling Deductive Verification for Real-World Cloud Data Security