taint2: Simplify the taint op code.

Also start generalizing to different labelset types.
taint2: Memoize label set unions so queries happen faster.