chore: debug assertions

Author: davidsemakula

crates/primitives/src/sol/encoder.rs

@@ -94,6 +94,7 @@ impl<'enc> Encoder<'enc> {
 
     /// Segments the buffer into a head and tail, with the head taking the next `n` words.
     pub fn segment(&mut self, n_words: usize) -> Encoder<'_> {
+        debug_assert_eq!(self.head_offset % 32, 0);
         let (_, buffer) = self.head.split_at_mut(self.head_offset);
         let (head, tail) = buffer.split_at_mut(n_words.checked_mul(32).unwrap());
         Encoder {
@@ -120,6 +121,7 @@ impl<'enc> Encoder<'enc> {
         let (target, rest) = tail.split_at_mut(len);
         self.tail = Some(rest);
         self.tail_offset = self.tail_offset.checked_add(len).unwrap();
+        debug_assert_eq!(self.tail_offset % 32, 0);
         Encoder::new(target)
     }