Eu me deparei com o mesmo problema. Boas notícias: há uma solução alternativa.
Eu também achava que estava ligado a ter usuários de rede. Mas não é .. pelo menos não diretamente.
O problema é que, se não houver dois ou mais usuários locais, ele ocultará o botão "Switch User" (porque aparentemente não há outro usuário para o qual você possa alternar). Portanto, a solução é criar alguns usuários locais fictícios. (Basta ir ao painel Usuários e grupos nas Preferências do sistema e adicionar alguns usuários.)
Isso fará com que o botão "Trocar usuário" apareça. E sim, você pode usá-lo para mudar para usuários de rede.