Coming up with a binary "is this acceptable?" heuristic is also harder for performance than it is for correctness.
If it's slower, then you require a manual override to accept the merge.
That will make performance regressions a whole lot less likely. Sure, in some cases they may be necessary, but in many cases they were unintentional; they can be fixed, and then merged.