Fix bug with improper processing of phi instructions in taint processor by keeping track of the previous basic block executed.
Merge in and resolve conflicts for taint phi/switch from master branch.