osdc2014-quickcheck: add shrink