Updated to built with a recent Rust incoming

Built with Rust as of commit 69511c219ccb15732383e20a29527cc589ec3d8f.
test/grust-proof.rs: No need to explicitly cast to the trait