Leaderboard: admin force-add, hardened submission pipeline, and synced task data

Fix 5 submission pipeline issues: sync, IDs, locking, admin targeting

Harden submission upload: file size limits, consistent paths, Gradio 6 compat