test: use kani built-in --harness-timeout option#5252

roypat merged 5 commits intofirecracker-microvm:mainfirecracker-microvm/firecracker:mainfrom

roypat:kani-timeoutroypat/firecracker:kani-timeoutCopy head branch name to clipboard