Added quickCheck tests (manual + random) to zipper fs.