800 isn't really much of a push for Tri-X, and I think lots of options would work well. Some people rate Tri-X at 800 in Diafine, though I think most would put it slightly higher than that. I've had good luck with modest pushes of Tri-X in PC-TEA, using the times given for Xtol 1+2 in the MDC and Anchell & Troop, and gotten negatives that don't have a dramatic "This Film Was Pushed!" look; I assume Xtol itself would give similar results, but can't speak to it from experience...
-NT