Dias Toffoli é relator de uma ação que pede ao STF para obrigar o presidente a apresentar provas de supostas fraudes e fragilidades no sistema eleitoral