random: Upgrade random123 to version 1.07

This does not change the computed random numbers.