Да не последняя там версия. Прокерки значение, пришедшего через doValue и сейчас нет. Сейчас всего лишь делается оптимизация, если у элемента используется только точка Value. Тогда в конечном коде реальной переменной не заводится, а сразу возвращается константное значение.

В любом случае мне кажется не стоит забегать вперед. Существующая реализация дает уже приемлемые результаты, которые не стыдно показать, и которые можно принять на базовые. Т.е. для начала немешало б реализовать пакет именно на таком уровне - более менее понятном и простом, и с видимыми границами.