Solucionado
Pelo que entendi a função VerificaCPFInvalidos serve para ter que evitar fazer os cálculos num caso comum de cpf inválido.
Nesse caso, na função validaCPF acredito que a função VerificaCPFInvalidos deveria ter sido a primeira a ser checada na short-circuit evaluation.
Meu raciocínio está correto?
E ai Matheus, na verdade não. Acontece cpfs como 999999999 acabariam sendo julgados como verdadeiros pelo algoritmo, então precisamos eliminar eles como casos especiais.