Add tests for failure of kani verification

[zjp-CN]

Like model-checking/verify-rust-std#488 (comment) and https://github.com/model-checking/verify-rust-std/actions/runs/17621008252/job/50066478141?pr=488

Ideally, UI should display failed harnesses. (Does kani provide failure messages?)