Refine Kani harness coverage for Bytes pop helpers#62

somethingelseentirely merged 1 commit intomaintriblespace/anybytes:mainfrom

codex/extend-verification-harnesses-for-bytes-methodstriblespace/anybytes:codex/extend-verification-harnesses-for-bytes-methodsCopy head branch name to clipboard