reftable tests: avoid "int" overflow, use "uint64_t"