Is VeriFast ready?

[ShoyuVanilla]

#239 introduced VeriFast as a new tool and I really want to learn and use it because of its rich expressiveness and performance.

But the VeriFast CI seems failing on diff checks like in https://github.com/model-checking/verify-rust-std/actions/runs/13980830164 and I wonder whether I could submit a new solutions with VeriFast - of course, I've done nothing with it yet 😅 - or should wait for some works to be done (maybe the ones mentioned in #238 (comment)?)