feat: Verus proofs, code quality, decoder fixes, coverage --html#140

avrabe merged 1 commit intomainpulseengine/kiln:mainfrom

feat/parallel-improvementspulseengine/kiln:feat/parallel-improvementsCopy head branch name to clipboard