Fix begin commands and defend against future AttributeError crashes.
Add message when synthesizing and more verbose executor shutdown.
Add spec compilation script for debugging.