Quickcheck the `update` bulk operation on OR-Set impls

Fix bugs in code and model found by testing