virtio-queue: kani proofs for virtio queue#363

priyasiddharth wants to merge 2 commits intorust-vmm:mainrust-vmm/vm-virtio:mainfrom

priyasiddharth:mainpriyasiddharth/vm-virtio:mainCopy head branch name to clipboard