Steps to reproduce:

1. git clone https://github.com/aws/s2n-quic
2. cd s2n-quic/quic/s2n-quic-core
3. cargo kani --tests

with Kani version: 034b056

I expected to see this happen: Kani runs and verification is successful

Instead, this happened:

$ cargo kani --tests
Kani Rust Verifier 0.61.0 (cargo plugin)
error: unexpected prerelease field, expected a version like "1.32"
error: Failed to execute cargo (exit status: 101). Found 0 compilation errors.