Post-defense updates

[gussmith23]

• remove invalid benchmarks: we had included benchmarks in Xilinx that weren't actually valid DSP configurations. Lakeroad could map them b/c the simulation models don't forbid them, but Vivado wouldn't.