PIS/PASEP: adicionadas funções para validar e formatar PIS/PASEP, bem como as funções de teste.