The bug doesn't trigger when the counter resets to zero, the bug triggers when the counter reuses a previous value.
So:
A) There is no reason whatsoever to randomize the counter
B) Even if they did, it wouldn't be a problem because it would still take an absurdly long time to loop around to the starting positions.
So:
A) There is no reason whatsoever to randomize the counter B) Even if they did, it wouldn't be a problem because it would still take an absurdly long time to loop around to the starting positions.