pub fn debug_cumulative_sums<F: Field, EF: ExtensionField<F>>(perms: &[RowMajorMatrix<EF>]) {
    let sum: EF = perms.iter().map(|perm| *perm.row_slice(perm.height() - 1).last().unwrap()).sum();
    assert_eq!(sum, EF::zero());
}
Checks that all the interactions between the chips has been satisfied.

Note that this does not actually verify the proof.
crates/stark/src/debug.rs