o getElementById foi usado 2 duas vezes e não entendi muito bem o que eles fazem
1° é usado dentro da função verifica(), quando o usário acerta, então ele desabilita? desabilita o que? não deixa o botão clicável?
document.getElementById("reiniciar").removeAttribute("disabled");
2° é usado dentro da função reiniciarJogo(), aqui ele ainda tem um um segundo parâmetro que faz sentido, mas porque não no outro também?
Aqui seria desabilitar o botão, não o deixar clicável?
document.getElementById("reiniciar",).setAttribute("disabled", true);