build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (…

build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (… #126