Sure, verification result by `Default Executor` is immutable between runs, I was more concerned about custom executors implementation and their logic. But let it be for now, we can always change it later.