Proper ValueError
Add new invariant check: should never output packets out non-existent ports