When spilling data to disk in the external sorter, we need to verify that the data read back from disk is intact.

We could implement in the simplest form with a modular sum, which would neglect the ordering of data, but it may be better to use a position-dependent checksum if possible.