Deu pra entender que se a função "verifica( )" estiver com parênteses, ou seja, sendo invocada na atribuição ao "button.onclick" ela será disparada sempre, gerando um comportamento inesperado. Porém, eu não consegui pegar muito bem o motivo de, nesse caso, essa função precisar ser escrita sem parênteses para somente depois disso ser disparada pelo clique no botão. Me ajudem >.<