Need to include the obtained_labels field in auto-verify VerificationResult to ensure compatibility with ada-verona >=v1.0.0

File "/gpfs/home2/jvrijn/code/rs/verif/JAIR_code/experiments/CIFAR-10/main.py", line 158, in
main()
File "/gpfs/home2/jvrijn/code/rs/verif/JAIR_code/experiments/CIFAR-10/main.py", line 155, in main
create_distribution(experiment_repository, dataset, dataset_sampler, epsilon_value_estimator, property_generator)
File "/gpfs/home2/jvrijn/code/rs/verif/JAIR_code/experiments/CIFAR-10/main.py", line 101, in create_distribution
epsilon_value_result = epsilon_value_estimator.compute_epsilon_value(verification_context)
File "/gpfs/home2/jvrijn/code/rs/verif/VERONA_rs_rd/ada_verona/epsilon_value_estimator/binary_search_epsilon_value_estimator.py", line 31, in compute_epsilon_value
highest_unsat_value, smallest_sat_value = self.binary_search(verification_context, epsilon_status_list)
File "/gpfs/home2/jvrijn/code/rs/verif/VERONA_rs_rd/ada_verona/epsilon_value_estimator/binary_search_epsilon_value_estimator.py", line 123, in binary_search
epsilon_status_list[midpoint].set_values(outcome)
File "/gpfs/home2/jvrijn/code/rs/verif/VERONA_rs_rd/ada_verona/database/epsilon_status.py", line 28, in set_values
self.obtained_labels = complete_verification_data.obtained_labels
AttributeError: 'CompleteVerificationData' object has no attribute 'obtained_labels'