update versions to match kani 0.19 release#21

jaisnan merged 1 commit intomainmodel-checking/kani-github-action:mainfrom

update-kani-action-0.19model-checking/kani-github-action:update-kani-action-0.19Copy head branch name to clipboard