Implements execute() method of desync operation desync is also made for the delete operation

Implements execute() method of sync operation

Implements canExecute() method of syn/desync operations

Creates sync and desync operations and adds them to the fuzzing tests

Sets the number of sync groups to create for fuzzing tests

Passes FuzzingState and variable id instead VariableState to the methods of operations

Defines synchronization groups for fuzzing tests

Implements validation of variable's data (4) Checks values

Implements validation of variable's data (3) Checks for data holes

Implements validation of variable's data (2) Checks that data are well-defined