Gravar-mail: A Scalable Distribution Network Risk Evaluation Framework via Symbolic Dynamics