feat: add notion of finite execution for LTS#258

fmontesi wants to merge 3 commits intomainleanprover/cslib:mainfrom

lts-execution-propleanprover/cslib:lts-execution-propCopy head branch name to clipboard