An optimization to 6 wog random hero.erm I found while I was trying to fix the real problem.
Origianlly, random hero will be disabled if there are 8 players in a game. My modification allows random hero to be re-enabled after one or more players are defeated in a 8-player game.