make sure cleanup() is called on submission result visitor(s)

Otherwise we could get truncated output for, e.g., coverage
results.