Optimizations and debugging in hard AI
Winner toast no longer displays player name

Changed so we can move this into strings.xml, and to improve the UX of
single player mode.