deepseek/deepseek-v4-pro-0813 on Three bugs and a lie | Johanna Benchmarks