Add Approximate DD validation

[veronikasblv]

This pull request adds support for Approximate Differential Dependency (ADD) validation, extending the existing Differential Dependency (DD) verifier. The core algorithm now supports a satisfaction_threshold parameter that allows a controlled fraction of violations. This change includes updates to the core algorithm, configuration, Python bindings, and adds an application example.

Core ADD Validation Algorithm

• Extended the DD verifier to accept an additional parameter: satisfaction_threshold.
• The algorithm now checks whether at least satisfaction_threshold fraction of tuple pairs satisfying the LHS also satisfy the RHS.

Python Bindings

• Added a module alias add_verification that points to the existing dd_verification module.

Python Examples

• Added Python examples for ADD validation. The examples show usage of the satisfaction_threshold parameter and illustrate how ADD can be used to filter outliers.

[chernishev]

Please, update the README.md too.