I have the same issue, I'm in an area with underground utilities so Sonic isn't an option, it's just Comcast or Monkeybrains. But the problem with Monkeybrains is that they had me behind a IPv4 NAT with no IPv6, and when I asked them to change that, I ended up with very bad packet loss that their technical support couldn't resolve.
I was looking into this last night, and just wanted to point out that Ubiquiti's 3rd generation APs do support 802.11w. The feature is labeled "Protected Management Frames" (PMF) under the WLAN Group settings on the controller.
Are you the author? Great job for the detailed writeup. Small nit, I noticed you misspelled the interpreter section, it should be .interp instead of .intrep
Does anyone know how this compares to LegUp [0], an academic HLS tool for C to Verilog? Apparently that tool has also been commercialized into a startup [1].