gmp_random_seed

Following on from the discussion in [PR 839](https://github.com/php/php-src/pull/839), as support for older GMP versions is dropped in master, we can reliably seed the RNG with predictable results.