Update verify-std-check workflow to enable loop contracts#3705

qinheping merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

qinheping:modify_run_kaniqinheping/kani:modify_run_kaniCopy head branch name to clipboard