Prophecy: Inferring Formal Properties from Neuron Activations