Полнота по Тьюрингу вещь обоюдоострая, и да - это плохо для безопасности.
Ты отвечаешь общими фразами. Код смарт-контрактов обычно открытый и написан на языке высокого уровня, любой человек с навыками программирования может проанализировать его и попробовать найти уязвимость
ага, а когда не Тьюринг полный, то не все могут найти уязвимость, вернее найти могут не только лишь все, мало кто может это делать. 
Любой человек с навыками программирования и/или мозгами имея под руками гайд разработчика с описанием скриптов так же может найти баг. Притом, если в высокоуровневом тебе необходимо понимать действие методов, то скриптовые языки как раз таки разобрать на составные значительно проще имея под рукой документацию.
Более того, возможность исполнять в смарт-контрактах произвольный код означает, что рано или поздно кто-то напишет злонамеренный код, и возможно он пройдет аудит безопасности и уйдёт в продакш.
Вангую появление вирусных смарт-контрактов.
Это как ты сам можешь догадаться вопрос не языка, а аудита. На скриптовом языке так же может все быть. Вангую появление вирусных смарт-контрактов.
Единственное что я реально могу предположить, это то, что на полном языке (как я уже выше писал) программист может наделать багов сам того не понимая, так как он пишет только оболочку. Пишет он условие
Code:
if day < a+1:
owner = ether.send(address[], amount[], specials[])
и все, он не понимает как это работает внутри. Какие могут быть манипуляции со всем этим и так далееowner = ether.send(address[], amount[], specials[])
Вы похожи на сельского гопника, которому просто хочется подраться, и неважно по какому поводу.