pub fn test_system_params_small(
l_skip: usize,
n_stack: usize,
k_whir: usize,
) -> SystemParamsExpand description
Trace heights cannot exceed 2^{l_skip + n_stack} and stacked cells cannot exceed
w_stack * 2^{l_skip + n_stack} when using these system params.