Add one more test for randombytes_random16()