Bug fix: Generator.Seed() did not give repeatable output.

We forgot to reset the counter field of the generator structure when
.Seed() was called.  As a consequence, calling .Seed() twice with the
same argument did not result in the same PRNG output.  Fix this by
introducing and using a function to properly reset the generator
state.