Property-Based Testing Caught a Security Bug I Never Would Have Found | Not Hacker News!