We have a total difficulty check in fork choice that, among other things, makes sure that the new head is not pre-merge. We need to review if the check is necessary and that it's correctly implemented.