Rename randombytes_random() to randombytes_random16()
and limit the output to 16 bits, so that it is consistent
across all architectures.