AgentTypeCheckerTests no longer depends on compile