fn assert_word_zero(&mut self, word: Word<impl Into<Self::Expr>>) {
        for limb in word.0 {
            self.assert_zero(limb);
        }
    }
Asserts that the word is zero.
crates/core/machine/src/air/word.rs