fix kani; refactor; bump version

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "anybytes"
-version = "0.14.0"
+version = "0.15.0"
 edition = "2021"
 license = "MIT"
 repository = "https://github.com/triblespace/anybytes"

README.md

@@ -14,11 +14,13 @@ including other byte handling crates `Bytes`, mmap-ed files,
 | Crate | Active | Extensible | mmap support | Zerocopy Integration | Pyo3 Integration | kani verified |
 | ----- | ------ | ---------- | ------------ | -------------------- | ---------------- | -------- |
 | anybytes | ✅ | ✅ | ✅ | ✅ | ✅ | 🚧 |
-| [bytes](https://crates.io/crates/bytes) | ✅ | ✅ | ❌ | ❌ | ❌ | ❌ |
+| [bytes](https://crates.io/crates/bytes) | ✅ | ✅ | ✅[^1] | ✅[^1] | ❌ | ❌ |
 | [ownedbytes](https://crates.io/crates/ownedbytes) | ✅ | ✅ | ✅ | ❌ | ❌ | ❌ |
-| [minibytes](https://crates.io/crates/sapling-minibytes) | ✅[^1] | ✅ | ✅ | ❌ | ❌ | ❌ |
+| [minibytes](https://crates.io/crates/sapling-minibytes) | ✅[^2] | ✅ | ✅ | ❌ | ❌ | ❌ |
 
-[^1]: Recently published again.
+[^1]: It is still using a V-Table under the hood, with a new "Owned Bytes" variant,
+with all the downsides/overhead of a V-Table remaining.
+[^2]: Recently published again.
 
 ## Acknowledgements
 This library started as a fork of the minibyte library in facebooks [sapling scm](https://github.com/facebook/sapling).

src/lib.rs

@@ -9,7 +9,7 @@
 #![doc = include_str!("../README.md")]
 
 pub mod bytes;
-mod owners;
+mod sources;
 
 #[cfg(feature = "zerocopy")]
 pub mod view;

src/owners.rs → src/sources.rs

@@ -215,7 +215,7 @@ mod verification {
     }
 
     #[cfg(feature = "zerocopy")]
-    #[derive(zerocopy::FromZeroes, zerocopy::FromBytes, zerocopy::IntoBytes, Clone, Copy)]
+    #[derive(zerocopy::TryFromBytes, zerocopy::IntoBytes, zerocopy::Immutable, Clone, Copy)]
     #[repr(C)]
     struct ComplexZC {
         a: u64,