Add demo that showcases RunProof verification workflow with broken app and run scripts#1

sebamar88 merged 1 commit intomainsebamar88/RunProof:mainfrom

codex/create-demo-folder-in-reposebamar88/RunProof:codex/create-demo-folder-in-repoCopy head branch name to clipboard