zipper implementation
adding random testing
FIX zipper -> tree
add timing for zipper