Microdol-X wouldn't be my choice of developer for push processing. Generally, Microdol-X will give you less speed and finer grain than a developer like D-76. Increasing development time and temperature doesn't usually increase film speed significantly, only contrast, and Microdol-X is kind of a low-contrast developer to begin with.
If you want to get an honest EI of 800 from Tri-X, use a developer like Acufine, Diafine, or Microphen. These will give you more grain than Microdol-X, but will give you a good sharp negative with shadow detail and reasonable contrast for printing on paper of about grade 3 (by developing for grade 3 instead of grade 2, you get a thinner, less grainy neg, which is desirable for push processing, particularly with 35mm film). My own preference is Acufine.