chore: run Mathlib's verify_version_tags.py in `release_checklist.p…

chore: run Mathlib's verify_version_tags.py in `release_checklist.p… #6473