Property-Based Testing Caught a Security Bug I Never Would Have Found