Convert a counter value to an 8-byte big-endian buffer
Counter value as number or bigint
ArrayBuffer containing the counter in big-endian format
Convert a counter value to an 8-byte big-endian buffer