feat: Kani ARM encoder harnesses + verification gap tracking#66

avrabe merged 2 commits intomainpulseengine/synth:mainfrom

feat/kani-verification-gapspulseengine/synth:feat/kani-verification-gapsCopy head branch name to clipboard