Add quickcheck tests

[octavonce]

For greater safety, we should add property tests via quickcheck to all methods, especially the ones involving iteration and other complex operations.