Given that the test framework will reset all proxies after the verify, why is it a problem for there to be something left for reset to cleanup?