feat: self-sign release binaries, Lean4 proofs, verification guide#72

avrabe merged 2 commits intomainpulseengine/sigil:mainfrom

feat/self-sign-lean-releasepulseengine/sigil:feat/self-sign-lean-releaseCopy head branch name to clipboard