every Read must belong to exactly one Readset

Enforce read/readset relationship, by requiring that every Read belong to exactly one Readset.