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

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

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

Пример:

class Container // Ссылочный тип
{
    public int Value; // Значимый тип как поле ссылочного типа - в куче
}

void MyMethod()
{
    int x = 10; // Значимый тип как локальная переменная - в стеке
    Container c = new Container(); // Объект Container - в куче
    c.Value = 20; // Значение 20 хранится в куче, в составе объекта c
    object obj = x; // Боксинг: x упаковывается в кучу
}