feat: initial compression of proofs using grind#3

kim-em merged 5 commits intoleanprover:mainleanprover/LeroyCompilerVerificationCourse:mainfrom

kim-em:grindkim-em/LeroyCompilerVerificationCourse:grindCopy head branch name to clipboard