Describir: Scalable Verification With Applications to Hardware Security