Random.saveState, restoreState

Also: use a constant-sized Vector instead of an Array for state