move Base.random.__init__ to zero-arg srand(); fixes #8313

Is this what you want?