Según veo, el 16F777 se parece mucho al 16F877, que sí está en Proteus. La única diferencia es que el primero no tiene EEPROM interna, y que tiene muchos más canales ADC y oscilador interno.
Salvo que vayas a usar alguna de estas dos características, podrás hacer la simulación con el 877