Thank you all for the help so far.
Following the input from members in this thread, as well as more reading over the web since I've started this topic, seems like the current state is the following:
DSlogic Pro - doesn't meet my desired requirements, but does meet my minimum requirements.
HW wise it has adjustable threshold and sufficient memory which are meeting my desired numbers. The number of channels and sample rate and BW are marginal for some of my needs. The external clock seems to be at constant 3.3V level which isn't what I need and I'll have to "fix" it externally with a level shifter.
SW wise it seems like many people aren't too happy with it. This is at least what I read on different forums online, including here, and looking at reviews on websites selling this device.
So overall it will do most of what I need, but for some of the more demanding applications I will have to look elsewhere. The price of <100USD is obviously a nice point in its favor, as well as the slick design of the unit.
However, before I'm settling for something that doesn't really meet my desired needs, I'd like to give that 4032L one more chance. The HW benefits of extra memory (which I don't need, the DSlogic has enough memory for me), and more importantly higher sample rate and BW, more channels, and if I understand correctly adjustable threshold on external clocks - are all very tempting. The fact its almost double the price is something I can live with, its worth the extra cost if it'll save me the drive to the lab at the university by letting me work on my test boards from home.
There is still an open issue about the HW, namely the maximum clock frequency for CLKA/CLKB inputs. I'm still not able to find a straight answer to that question, is it the 150MHz claimed BW, or lower? I have no idea at the moment. I've sent Hantek an email today, lets see if they ever get back to me
The biggest issue I see so far is the SW. I've read maginnovision's comments here, and they are definitely not positive. Despite this,
I'm still trying to get input from other users of the 4032L/sigrok combo, to try and get a better feeling of how usable/unusable it really is.
Thank you all again.