Build with Cargo
improve quickcheck tests