Prose as Code: Applying Formal Verification to Product Specs