@smichr <https://github.com/smichr> looking at the code it seems it only
tests when j and k are both ones.But the initial four cases test these the
others look into half states

But there are other tests that test that size is computed properly. So you
don't have to test that aspect. The goal of your tests is just to show that
you've identified a, b, and g and that you applied them properly.