Прошло время, и у меня сформировалась позиция по этому вопросу. Готов поделиться. Возможно, что кому-то пригодится.

Первое. Очень похоже, что AOT действительно двоично компилирует в WASM. В распухшем файле dotnet.native.wasm я нашел названия своих пространств имен. Из-за того, что там UTF16, то это можно увидеть в Far Manager под виндой, а вот в линуксе в mc это не так просто разглядеть, что меня и смутило поначалу.

Второе. Мои файлы *.wasm по оригинальному байт-коду по-прежнему присутствуют. Они идентичны тем, что были получены без AOT. То есть, фактически файлы с байт-кодом (или как это называется по другому) по-прежнему торчат в интернет. Удалить их нельзя — веб-приложение не может без них загрузиться. Даже если эти файлы *.wasm фейковые, они все равно нужны. Например, нужны для проверки целостности или типа того.

Выводы.

Скорее всего, Техника AOT действительно позволяет ускорить нам приложение, уйдя от интерпретации в сторону исполнения двоичного кода wasm.

Однако если вы желаете защитить свою интеллектуальную собственность через AOT, то здесь в .NET 8 мы пролетаем как фанера над Парижем.

P.S. К сожалению, код после Obfuscar не пожелал загружаться интерпретатором в браузере. Здесь был бы интересен опыт других людей, которые использовали другие обфускаторы для того, чтобы успешно загрузить свой код