Get rid of "flags" in the backend.

Flags were introduced to deal with the possibility that an instruction could get executed twice if a certain kind of DAG was translated naively. After #62 (closed), this should no longer be an issue, as the frontend changes will not allow a user to produce such inputs.