Everything is kind of broken

-   Fixed a few minor problems
-   Added a trivial example to make sure at least networks work the way
    they should
-   Realized that the current set of constraints is not amenable to
    middle-boxes that modify things.

Next things
-   Convert things in benchmark to assertions
-   Figure out how to relax constraints to allow modifications