Bots, abandonment handling, and steadier matchmaking

What changed

• Practice bots became available as opponents so a battle is always ready to start.
• Leaving a match now resolves cleanly, with an immediate win for the opponent and an honest defeat screen for the player who left.
• Matchmaking was hardened against stuck queues and phantom matches so players stop being paired with someone who already left.