fix: remove useless kani harness

verify_size only had assertions about our mocks, which is not very
useful (in fact, the second assertion was trivially true, no matter what
we did). So let's just remove it.

Signed-off-by: Patrick Roy <[email protected]>

Author: roypat

src/vmm/src/devices/virtio/queue.rs

@@ -1055,15 +1055,6 @@ mod verification {
         }
     }
 
-    #[kani::proof]
-    #[kani::unwind(0)]
-    fn verify_size() {
-        let ProofContext(queue, _) = kani::any();
-
-        assert!(queue.size <= queue.max_size);
-        assert!(queue.size <= queue.size);
-    }
-
     #[kani::proof]
     #[kani::unwind(0)]
     fn verify_avail_ring_idx_get() {