I did consider iCE40 (mainly due to the icestorm/yosys project) for our project at the time but they weren't available I believe, I will have to look into it again. Unfortunately a microcontroller was not really an option as the ones we generally use don't have a input FIFO buffer/peripheral fast enough (clocked 25Mbit/s) although there may be others that can, we didn't look further in to it as it seemed like a pretty expensive option given the simplicity of the circuit and the HDL that was already finished.