net_checksum: Fix some C++ const-correctness and casting issues.
random: Use the xorshift64* PRNG for nk_random_u64().