Benchmarks, AutoAttack, and a Robustness Evaluation Checklist