Analysis of DeepSeek's DeepSeek V4 Pro 0813 (Reasoning, Max Effort) and comparison to other AI models across key metrics including quality, price, performance (tokens per second & time to first token)...