On the complexity of reasoning about opinion diffusion under majority dynamics