The film will not be hard to push to 800....not at all. I would not go to extreme lengths by trying different developers unless you need to push farther than that.
T-max Developer would work well to push this film if you shot it in flat light, as would DDX, X-Tol, or D-19. IME, D-19 truly does help bolster film speed in the shadows a quite noticeable amount (by jacking up the contrast so enormously that the shadows get pulled up in density along with everything else).
IMO, you don't want to push with any of these developers if you are trying to combat a contrasty lighting situation. If you shot it in contrasty light, but had to underexpose, and want to try to get the most out of the shadows without sending the highlights through the roof, I would try D-76, or even better, D-23. The developers above will block up your high tones more than these two will.
I am sure there are other fancy options, but I have limited my comments to developers with which I have actual experience. The only one I do not know well is D-23, but I do know that my initial film speed and contrast testing with it suggests that as long as it doesn't poop out during long development times, it would be an excellent push developer, due to its raising of shadow densities without easily blocking highlights (vs my standard developer, Ilfotec HC). Also, my only experience with T-Max developer is with T-Max film. When I use one, I use the other, and use neither of them with anything else, except for the occasional batch in D-19 when I really need to push the heck out of something AND jack up the contrast.