Add deal framework for formal verification with release no-ops#167

KeithCu wants to merge 2 commits intomasterKeithCu/writeragent:masterfrom

jules-formal-verification-deal-setup-2851407568774976233KeithCu/writeragent:jules-formal-verification-deal-setup-2851407568774976233Copy head branch name to clipboard