Remove unused 'Int' part of 'Verifier.SAW.Testing.Random.Gen'.
Remove unused 'Int' part of 'Verifier.SAW.Testing.Random.Gen'.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script