Why Eat and Run Verification Matters for Online Safety