I'm not sure I'll be able to help much with specific recommendation for commercial amplifier models, sorry, as I don't really have a good overview of the market.
However, IMHO if you're satisfied to use the miniDSP 2x4 HD as a combined DSP / preamp / DAC you could probably use basically any power amp, as long as it has sufficient power to satisfy your SPL / loudness requirements.
Aiyima A07 seems to be the go-to budget recommendation around here (though I personally have no experience with it), which is IMO understandable given the extremely low price, solid distortion/noise performance and high power. However note that it does exhibit some load dependence due to output impedance, as illustrated by
@pma,
e.g. here and
here. And of course we have no information on longer term reliability.
In general I'd probably go with a power amp from some brand where I can easily and reliably get support in case of issues.
If it is any help, I drive my Revel M16 with a Denon Ceol RCD-N9 stereo receiver/integrated amplifier (
measured here - not impressive objective performance in any way, but sounds just fine to me
), and use miniDSP OpenDRC-DI for PEQ on one of the inputs.
The 75W @1% THD+N @4Ohm of the Denon is sufficient to reach IMO pretty loud levels (in the context of an apartment building) at my 7,5' listening distance, in a 205 square feet room. Given that you listen from double that distance, I'd probably look at something in the 100-200W range. It is probably better to have a power reserve that you don't use, than not to have enough.
Good luck in your search!