Вопрос не в доверии, а в организации процесса. Вот ты сам говоришь про seL4, а тем ребятам пришлось пойти на некие нестандартные ходы, чтобы добиться этой самой верификации. Но от Си они не отказались. В конечном итоге, всё зависит от цели. Если это pet project, например, то вообще плевать на логику и здравый смысл - бери любую фигню, которая нравится, хоть эзотерику. А если ты толерантный работник в инклюзивной компании, то начальство само примет решение о переезде с плюсов на раст, потому что так, банально, дешевле. Но для "массовых коммуникаций" они будут заливать про какие-то очешуенные преимущества инженерного характера. Которые, в общем, сводятся к тому, что человек с меньшим уровнем знаний и навыков может выдавать рабочий код для сравнительно сложного проекта. Смысл вышесказанного в том, что если тебе интересно именно программирование, то имеет смысл учиться работать со сложными штуками, а если основной интерес в зарплате, то тупо следи за трендами. Раст в тренде.