Move proof generation to frontend#23

malteish wants to merge 7 commits intomainmalteish/goerlinator:mainfrom

move-proof-generation-to-frontendmalteish/goerlinator:move-proof-generation-to-frontendCopy head branch name to clipboard