Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms