Add weak reference tests and view Kani proofs#15

somethingelseentirely merged 2 commits intomaintriblespace/anybytes:mainfrom

codex/extend-tests-for-weakbytes-and-weakviewtriblespace/anybytes:codex/extend-tests-for-weakbytes-and-weakviewCopy head branch name to clipboard