Describir: Verifiable Traffic Control With Compact Data Structures in the Data Plane