Better test coverage, and mirror tests for remote and local verification