Came here looking for this, sadly there's little engagement with the actual math in this thread. I hold out hope that Scott Aaronson might comment on the circuit bound eventually...