Находятся ли значимые типы всегда в стеке?

Не всегда. Значимые типы могут находиться как в стеке, так и в куче (heap).

• В стеке: Когда объявляется локальная переменная значимого типа или параметр метода значимого типа.
• В куче:
  • Когда значимый тип является полем ссылочного типа. Объект ссылочного типа создается в куче, и вместе с ним выделяется место для полей значимых типов.
  • При использовании боксинга (boxing) значимого типа, когда он преобразуется в универсальный тип object или интерфе