port the dfvs verifier to rust, it seems to be broken