Ações da Verisign caem após lucro do 2º tri ficar abaixo do esperado