Fixed dependency issues in deletions. Resolves #8.

-- The deletion dependency graph was being computed incorrectly
-- Synchronization primitives were not being renewed for deletion, they were reused from sync
-- Misc fixes
1 file changed