Sure the 7:43 is nothing crazy, but it's also certainly not bad and we don't know how the race played out.
To all the haters, he did run something like 13:09 in February for the 5k, soooo I'd say he's doing just fine. He just needs to stay healthy so he can get to more starting lines. Since he is racing, and just ran 7:43, I wouldn't be surprised if we see a sub 13:10 outdoors for him later this summer, which puts him top 20 or so in the world. Maybe he'll even hit a 13 flat and be top 10 in the world. And he's 24 or 25 at the very oldest, so he'll be around for another decade and will probably start to be at his best in a couple more years.