fix: stabilize benchmark leaders, model benchmark sorting, and HF bucket reads

feat: integrate bucket-backed leaderboard data