fix: refuse to finalize spec when an assertion declaration failed to elaborate#17

hwbehrens wants to merge 1 commit into

verse-lab:veil-2.0-previewverse-lab/veil:veil-2.0-previewfrom

hwbehrens:draft/silent-invariant-drophwbehrens/veil:draft/silent-invariant-dropCopy head branch name to clipboard