Seol mar théacs é seo: Verma modules for Iwasawa algebras are faithful