Seol mar théacs é seo: On characteristic p Verma modules and subalgebras of the hyperalgebra