When loading a savefile, restore flavors and randarts from saved seeds
in play_game().