Text this: Automated Synthesis of Distributed Self-Stabilizing Protocols