chore: add example where omega never terminates / runs out of heartbeats#5662

bollu wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

opencompl:omega-counterexamplesopencompl/lean4:omega-counterexamplesCopy head branch name to clipboard