Automated verification of the Azure DocumentDB SLA.