Faithfulness of highest-weight modules for Iwasawa algebras in type D

We prove that infinite-dimensional highest-weight modules are faithful for Iwasawa algebras corresponding to a simple Lie algebra of type D. We use this to prove that all non-zero two-sided ideals of the Iwasawa algebra have finite codimension in this case.