QuickCheck + Rust demo

QuickCheck + Rust demo