Text this: Verma modules for Iwasawa algebras are faithful