Remove old code
Propagate the fact that a bytecode was handled symbolically

Right now this information is printed as part of the path trace. In effect this allows us to see how the symbolic values from form inputs "taint" the execution.

This lays the groundwork for #36