job_manager/respdiff: don't execute diffrepro when target_disagreements exceeds limit
In the number of target disagreements is much larger than usual, it doesn't make sense to execute diffrepro (which takes very long time to finish in such cases). Setting a hard limit like 10k should be good enough. It should cause the job to fail early and save execution time.