ldloc - Загружает в стек вычислений локальную переменную с указанным индексом. stloc - Извлекает верхнее значение в стеке вычислений и сохраняет его в списке локальных переменных с заданным индексом.
Да, там действительно копия будет. Логика какбэ в том, что компилятор "на всякий случай" копирует структуры при передаче во всякие такие блоки типа using, foreach и т.п. Вот тут Тепляков разбирает это. http://sergeyteplyakov.blogspot.com/2012/12/2.html