v0.5.0

Changed

• MSRV raised from 1.80 to 1.85.
• proptest dev-dependency bumped from 1.6.0 to 1.11.0.
• CI matrix updated to test against Rust 1.85.0.