UI Tweak: reset high score when changing bots, persist bot choice.