Fix comments syntax

Fix RGATest

Improve BCounter tests

Add property-based tests for RGA

Add property-based tests for PNCounter

Add property-based tests for BCounter

Add unit test for BCounter

Add a test that uses the delta returned by transfer.

Fix the delta returned by transfer() in BCounter

Add property-based tests for MVRegister

Add property-based tests for LWWRegister

Reduce the number of iterations of property tests for RGA/Ratchet

Add property-based tests for LWWMap

Add property-based tests for MVMap

Cleanup tests

Fix wrong variables, simplify code and use more explicit variable name."

Reduce the number of iterations of property tests

Add property-based tests for Map

Reduce key size in property based tests of maps

Fix Map tests

In our tests, map "map2" should use the environment "client2".

Remove unused variable

Fix LWWRegister generateDelta method

The method generateDelta should return the current LWWRegister only if the
last modification is later than the version vector passed as parameter.

Reduce key size in property based tests of maps

Fix property based tests of Maps

Reduce the size of lists used in property based tests

Fix RGA merge method

When merging, if a node is not found and the search has not been performed on all
the nodes, then a search is performed on all the nodes. This is necessary when the
delta is not correctly ordered, especially when there have been delta merges.

Fix tests timeout

Fix MVRegister generateDelta method

If the VersionVector passed in parameter is greater or equal
to the causal context, it means that it has already seen all
the updates, so the method must return an empty register.

Merge branch '118-crdts-are-modified-even-if-onwrite-raises-an-exception' into 94-cleanup-constructors

Replace copy constructor with a copy method for all CRDTs

Clean up the code

Merge branch '119-incorrect-results-when-merging-deltas-of-concurrent-writes' into 118-crdts-are-modified-even-if-onwrite-raises-an-exception

Add read-only environment

Add tests with read-only environment

CRDTs not modified if onWrite raises an exception

Fix comments syntax

Fix wrong variable in PNCounter tests

Map not modified if onWrite raises an exception

Reduce the number of iterations of a property based test

Add new property based test for the RGA

Test the merge of deltas of concurrent insertions.

Fix the RGA merge

There was a problem when calculating the position to insert.

Reduce the number of iterations of a property based test

If the VersionVector passed in parameter is greater or equal
to the causal context, it means that it has already seen all
the updates, so the method must return an empty register.

When merging, if a node is not found and the search has not been performed on all
the nodes, then a search is performed on all the nodes. This is necessary when the
delta is not correctly ordered, especially when there have been delta merges.

The method generateDelta should return the current LWWRegister only if the
last modification is later than the version vector passed as parameter.

In our tests, map "map2" should use the environment "client2".

Fix wrong variables, simplify code and use more explicit variable name."

Add a test that uses the delta returned by transfer.