Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions