On the Limits and Practice of Automatically Designing Self-Stabilization