Limited the time that TextDiff can spend on large input files.