Resuming interrupted games

Paused games can be resumed again – including against the bot without crashing.