BS Commit, still need to reduce tens across Pauli errors in StabilizerCheck/evaluate()