WriteDisk writes src to the disk-only file at offset off. It guarantees that on recovery after a crash, all disk writes that occurred before the latest recovered Mutate will be available for reading. (Disk writes that happened after that Mutate may or may not be available for reading as well.)
(src []byte, off int64)