Remove most widths from the CAT test case

This still isn't perfect: it can't deal with having a RSH operation
that doesn't have an attached width.  I think this may actually be
impossible to solve for, as the RSH operation can actually change the
width to something arbitrary (in other words, there's just not enough
information to get rid of the RSH here).
Update the README to have the new binary name
Add dataflow scheduling code

This just schedules each operation, there's no test to make sure the
schedule is actually sane.