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

build(deps): bump model-checking/kani-github-action from 0.32 to 1.1 #677