Congruence subgroups in the Hurwitz quaternion order