Can we add an option like [`diff_match_path.Diff_Timeout`](https://github.com/google/diff-match-patch/blob/62f2e689f498f9c92dbc588c58750addec9b1654/javascript/diff_match_patch_uncompressed.js#L34-L35) in [sync](https://github.com/google/diff-match-patch/blob/62f2e689f498f9c92dbc588c58750addec9b1654/javascript/diff_match_patch_uncompressed.js#L344-L347) mode? Since #396 may not be solved easily, this option can help reducing many issues about performance like #376