I am not very familiar with the solutions you mentioned, but they seem to be turn key configurable solutions. If that is what you are looking for, then they should be good enough.
If you are looking for fully programmable solutions - i.e., you need to create and build your code, then you could also look into the TMS320C5517 or TMS320C5545 DSPs. They are a bit old but, if I recall correctly, they have audio libraries as well.
For programmable solutions, mark03 is on point:
When validating the algorithm on a PC using a high level tool such as Matlab or Python, keep in mind the real-time constraints may not be met but instead you will be looking mostly for the accuracy of the processing itself.
Dedicated DSPs can nowadays be replaced by FPGAs or, with some limitations, ARM. FPGAs will usually be less power efficient, but that shouldn't concern you at this point - you are trying to make something work, thus start with less constraints and optimize later. ARM has less performance than a dedicated DSP for signal processing code but, since its scalability (higher clock rates) is very good with modern Cortex cores, it compensates for the deficiencies.
Anyways, good luck!