Yes, I m aware someone could make a bastard chain where this does not hold, but it will make our code nastier if we try to accommodate such things. My 2c is to drop this clause and always do VerifyEip1559Header