[util] Pin sparse-fsm-encode random seed version

This hasn't changed since Python 3.2, but we really should be pinning
the random seed version to ensure deterministic and reproducible output
across different Python versions. This way, even if a new seed version
is introduced, we should be using the same seeding logic and so
deterministically generating the same numbers, even on later Python
versions.

Signed-off-by: Alex Jones <[email protected]>

Author: AlexJones0

util/design/sparse-fsm-encode.py

@@ -129,7 +129,7 @@ def generate(self) -> None:
         num_restarts = 0
 
         rand = random.Random()
-        rand.seed(self.seed)
+        rand.seed(self.seed, version=2)
         rnd = rand.getrandbits(self.encoding_len)
 
         while len(self.encodings) < self.num_states: