Zaslat SMS: On characteristic p Verma modules and subalgebras of the hyperalgebra