Why Property Verification Matters