build(deps): bump model-checking/kani-github-action from 0.34 to 0.35

build(deps): bump model-checking/kani-github-action from 0.34 to 0.35 #1739