As duas principais condições são quase idênticas, só uma subexpressão é diferente e o que executa quando entra em cada um é idêntico, então realmente não faz sentido ter duas condições. O código tem um padrão idêntico exceto por um detalhe, então fazer ficar só uma vez é fácil e apenas muda a subexpressão, então ele entra sendo uma subexpressão sendo verdadeira OU a outra que está no outro `if` sendo verdadeira também. Coloquei entre parênteses porque ela precisa ser feita  antes do resto.

Também tirei a comparação com `true` porque ele já espera um `true` não faz sentido fazer essa comparação, o que já reduz um pouco o tamanho do código.

Dá para reduzir um pouco mais mas acho que não compensa, começa ficar amontoado e confuso.

Não garanto que faz o que deseja, só fiz a redução do código sem contexto.

    function checkFieldInsert(normalInitialLevel, masterInitialLevel){
        for (let i = 0; i <= checkfields.length; i++){
            if ((checkfields[i] == currentLevel || checkfields[i] == desiredLevel) && levelNormal.checked && parseInt(checkfields[i].value) >= 400 || levelMaster.checked && parseInt(checkfields[i].value) < 400){
                if (levelMaster.checked){
                    alert(`Level ${checkfields[i].value} is not master level`)
                    break
                } else if (levelNormal.checked){
                    alert(`Level ${checkfields[i].value} is not normal level`)
                    break
                }
            }
        }   
    }