Sped up subgame clique search per Mike's suggestion.

Also some updates to RandomGames.py in preparation for further
bootstrap experiments.