Change the random testing code to work over `FirstOrderValues` instead of `FiniteValues`.
Change the random testing code to work over `FirstOrderValues`
instead of `FiniteValues`.

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