Add kani harness and auto-generated bolero harnesses#227

cvick32 wants to merge 2 commits intorust-vmm:mainrust-vmm/vmm-sys-util:mainfrom

cvick32:cvick/autogencvick32/vmm-sys-util:cvick/autogenCopy head branch name to clipboard