Fix bug in range tombstone synthesis that covers live keys added during an IngestExternalFile
