Draft: Small Sumcheck Patch (Ensures num_vars is between 2 and 31)
Summary:
- Our implementation of sumcheck requires n_vars to be at least two
- The two pigeonhole cores test cases were setting n_vars to one when num_threads=1
- Ensures that n_vars is always at least two
- Error Check that num_vars in sumcheck is between 2 and 31 inclusive
Edited by Kabir Peshawaria