Added `<dyn Trait>` Proof for Contracts for `byte_add`, `byte_sub`, and `byte_offset` · model-checking/verify-rust-std@1dab4e3