Предпочтительно: сморит, но «Большой орфоэпический словарь русского языка» М. Л. Каленчук, Л. Л. Касаткина, Р. Ф. Касаткиной (М., 2012) допускает ударение сморит (как младшую норму). Тем не менее эту строчку трудно признать корректной, т. к. по-русски говорят сон сморил кого-либо и не говорят сон сморил чьи-либо глаза.

Оба варианта правильны — с тире и без него. В эллиптических предложениях (самостоятельно употребляемых предложениях с отсутствующим сказуемым) тире ставится при наличии паузы и не ставится при её отсутствии. 

Спасибо за вопросы!

Вы указываете на одно из самых трудных и противоречивых мест в русском правописании. Сперва о кавычках. Принципиальной разницы между сочетаниями профессия "сварщик" и специальность "математика" нет, такие сочетания желательно писать единообразно. (Впрочем, все же есть одно различие: можно составить грамматически корректное согласованное сочетание профессия сварщика и нельзя составить согласованное сочетание специальность математики; это уже трудность в области грамматики, а не в области орформления текста, хотя последнее проистекает из первого).

А как единообразно - давайте исходить из складывающейся практики письма. Если приложение - изменяемое, склоняемое слово, то в случае падежного рассогласования и возникают кавычки, которые выступают именно как графический знак рассогласования. Поэтому на практике возникают такие сочетания, как по специальности "математика", по профессии "сварщик" и т. п. Сочетания же стиль + люкс, ретро, поп, ампир, барокко и другие - это сочетания с неизменяемыми приложениями, для того чтобы дополнительно отметить эту неизменяемость, кавычки не нужны.

Это полярные случаи. Названные же Вами примеры - промежуточные между двумя полюсами, поэтому в них и наблюдается оформительский разнобой.

Теперь о запятых. Корень проблемы - в том, что считать главным, а что зависимым словом в словосочетании, ведь словосочетание подразумевает подчинительную связь между своими частями, между входящими в него словами. Таким образом проблема вновь выходит из чисто пунктуационных рамок и передвигается в сферу грамматики, то есть устройства текста, его структуры, логических отношений между словами. А эти логические отношения выстраиваются автором текста, автором мысли, сообщения. И поэтому конечное решение - при выборе одного из возможных (подчеркнем: возможных, т. е. логически непротиворечивых) вариантов - за автором текста.