* gnu/packages/crates-io.scm (rust-proptest-0.9): Update to 0.9. [arguments]: Don't skip build. In cargo-inputs replace rust-rand-0.4 with 0.6, rust-rand-chacha-0.2 with 0.1, rust-rand-xorshift-0.2 with 0.1.