After #5697, which added a range-check to CompactSize deserialization, two Kani proofs now fail:
Manual Harness Summary:
Verification failed for - consensus::verification::check_compact_size_large_u64_roundtrip
Verification failed for - consensus::verification::check_compact_size_roundtrip
Complete - 5 successfully verified harnesses, 2 failures, 7 total.
Initially reported in #5883.
After #5697, which added a range-check to CompactSize deserialization, two Kani proofs now fail:
Initially reported in #5883.