Без заголовка

Ну, это содержательные вопросы, их вполне можно задать авторам подхода (а вопросы таковы, что наверняка уже есть где-то письменные разборки в статьях). Ответы, думаю, будут ровно такими же, как и для многих других систем: компилятор сравнимого качества с любыми другими (в том числе неучебными) компиляторами, FPGA сделана без учета каких-то оптимизаций, формальная верификация не проводилась (но теоретически возможна, ибо под этим подходом есть формальная теория) и т.д. Насчет сомнительности первой страшилки -- это требует отдельного разворачивания и каких-то экспериментов.