Add dev_build column to leaderboard entries

[tudddorrr]

Dev build flag on leaderboard entries

• Added a dev_build column so each entry captures whether it was submitted by a dev build player, instead of relying on the linked player at query time.
• New entries inherit the flag from their player when they are created, including entries synced from Steamworks.
• Existing entries are backfilled from their player's current dev build status in the migration.

Faster dev data filtering

• Added dev_build to the ascending and descending leaderboard order indexes, so filtering out dev entries can still use the order index rather than falling back to a join.

Keeping entries in sync

• Toggling a player's dev build status now updates all of that player's leaderboard entries in the same transaction.
• Merging players updates the surviving player's entries to match the merged dev build status, so leaderboard data stays consistent.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.74%. Comparing base (d031da6) to head (6759141).

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #1088   +/-   ##
========================================
  Coverage    98.74%   98.74%           
========================================
  Files          530      530           
  Lines         8135     8139    +4     
  Branches      1057     1057           
========================================
+ Hits          8033     8037    +4     
  Misses          36       36           
  Partials        66       66           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.