Fix error in rset computation.

We can't just take the TC of the pre edges, the TC of the post edges, and then
union those together; rather, we should traverse both pre and post edges of
every reachable vertex.