pub fn assert_aligned<U: Unsigned>(align: U, v: U)
Assert that the given value is aligned with the given align.
Note: The given align must be a power of 2.