Test-case reducers are underappreciated debugging tools