pub fn assert_div<I, E, E2, const LEN: usize>()where I: M, E: M, E2: M,
Asserts that dividing I from E results in E2 after removing padding.
I
E
E2