* Add the rest of the edge incidence tests. Make sure it works across cubes, too. * Update the test suite to use the test-framework package. * Add the section (2.9) tests. * Figure out why TC.prop_c0120_identity4 and friends are failing.