Honest forfeits and order-agnostic judging

What changed

• Forfeit wins now say the opponent abandoned instead of claiming you solved first, and tab-switch disqualification shows up in notifications and match history.
• Problems can declare order-agnostic output, so a correct answer in a different order stops failing.
• Ads were removed from the product entirely, along with ad-related copy on pricing and subscription pages.