Я тут с боку прибежал, мне интересно, его формально верифицировать в планах есть? Это к вопросу повышения доверия, что он компилит корректно. Будет это - наверное сообщество будет юзать.
Приходите во вторник на еженедельный лайфтрим. Там будет презентация подхода к верификации TVM и спеки TON.