feat: rich external loop invariant error messages#342

andrii-a8c merged 4 commits intomainasymptotic-code/sui-prover:mainfrom

loop-inv-error-messageasymptotic-code/sui-prover:loop-inv-error-messageCopy head branch name to clipboard