tests: Use 32-bit arithmetic for seed expansion.

tests: Use 32-bit arithmetic for seed expansion.

To facilitate a future port to older C implementations, replace
splitmix64 in the seed expansion with a very similar algorithm
based purely on 32-bit arithmetic.

This changes the generated random sequences for a particular seed
but means there is no need to implement a 64-bit multiplier for
such a trivial purpose.