Stav dette: Scaling Deductive Verification for Real-World Cloud Data Security