Спасибо за предложения, но, поскольку по какой-то неизвестной причине отладчик все же перешагнул через код MVC, я просто скачал исходный код MVC, добавил его в качестве проекта в свое решение и сослался на него оттуда. Теперь я могу отлично отлаживать фреймворк.