remove superfluous asserts. at least i think they're superfluous, we still need to check with different upstream/downstream widths.
with it
different
ready
more work on gearbox, start splitting off submodules so we can write test suites to exercise all the edge cases
