When you set AI players to spawn as random factions, does the game avoid doubling up on the same faction if possible? I haven't bothered to check this, and I'd prefer not to end up in a galaxy with, say, two Gremak Empires.

Yes, the game won't duplicate factions unless there are more than 7 slots.