Verified Scalability for Cisco Dynamic Fabric Automation