Remove leftover contract-lifecycle walkthrough and demo module#27

RaoulSchaffranek merged 1 commit into

mainruntimeverification/komet-node:mainfrom

chore/remove-demo-leftoverruntimeverification/komet-node:chore/remove-demo-leftoverCopy head branch name to clipboard