Hi newtoears,
You seem to have made a very good effort doing your homework.
I've had the HD800 for 16 months and personally didn't care for the way it sounded with the Valhalla 2, but don't let that discourage you, as your tastes may be entirely different from mine. Without hesitation, I recommend you get it and listen to it for a few days. I had the Vali before that, and didn't like it either, but if you haven't heard it, you should get it and listen to it for a few days.
Regarding power requirements for the HD800, I've recently discovered that low-power operation can actually bring what is to me, some favorable changes to the HD800, as long as the DAC and amp are highly resolving, neutral and transparent, having no grain or coloration.
I posted this once before in this thread, recently, but keeping in mind that my tastes may be different from yours, as a "budget" HD800 solution for both DAC and amp,
I think the $299 OPPO HA-2 portable, which only delivers 30 mW into 300 Ohms, beats every other DAC + amp rig under $600, that I've ever tried with the HD800.
I actually prefer the HA-2 to my HA-1, which can drive the HD800 with about 270 mW into 300 Ohms via the TRS jack or 1080 mW via the 4-Pin XLR jack.
That said, I have to explain that the HA-1 DAC + amp is too bright for my tastes with the HD800, though absolutely wonderful with darker headphones, like the LCD-2 Rev.1 (shelved highs) and OPPO PM-1 (slightly rolled-off highs). The HD800 also reveals the HA-1's "Sabre glare" that I find objectionable. And lastly, the HA-1's USB receiver is a bit grainy, as revealed by the HD800, compared to even the affordable TeraDak TeraLink X2 USB-to-SPDIF converter - supplying a Coaxial input to the HA-1.
So... there are a lot of reasons the HA-1 fails, in my opinion, as a DAC + amp solution for the HD800, and
everywhere the $1199 HA-1 fails with the HD800, the $299 HA-2 succeeds! The USB receiver of the HA-2 is cleaner. The ES9018K2M DAC implementation has almost none of that "Sabre glare" (in fact, I find it almost as non-ESS-sounding as the Resonessence Concero's amazing ESS9023 implementation), and the overall signature is not as bright.
That said, the 30mW into 300 Ohm HA-2 appeals to me (and perhaps not to anyone else), in part because the lack of power into 300 Ohms actually takes the edge off the HD800 by slowing it down - by not controlling it as tightly as is possible with more power. This makes the bass sound fuller by nature of it being more "woolly," the mids being much better controlled, and leaving the treble pretty much as it would sound with a lot more power - still pulling in lots of micro details at a very high resolution, with a very low noise floor (I actually prefer the Low Gain setting with the HA-2), all the while retaining the HD800's marvelous sound stage and imaging, both of which are heavily dependent on low energy signals being properly rendered - which they are.
What I'm describing (underpowering the HD800 so that it's not as fast) is sacrilege for most HD800 owners and, in a heartbeat,
I'd rather listen to the HD800 on my $2200 "Metrum stack" (Metrum Acoustics Octave MkII + Aurix), where all the unsavory traits of lesser DACs and amps are eliminated without robbing the HD800 of its greatest strengths - allowing it to be (almost) all that it can be. (I would need to spend a lot more money to find the limits of the HD800.)
But if you're searching for a "budget" solution, having tried several different options over the past 16 months,
I'm very comfortable recommending you give the OPPO HA-2 a try with your HD800. Not only do you get a great little DAC with a very clean amp, the HA-2 allows you to connect Apple and Android devices, in addition to using its USB receiver. And hey, the HA-2 does a great job with efficient headphones, too.
Mike
(Disclaimer: I was a Beta tester for the HA-1, PM-1, PM-2, PM-3 and HA-2.)