Integration tests for witness validation using other validators
We should have tests (similar to those discussed in #530) where we use different validators, e.g., one of the execution-based validators and Ultimate Automizer, to make sure that we still produce witnesses that other tools can validate.