Set-theoretic consistency results and topological theorems concerning the normal Moore space conjecture and related problems