Implemented Tset.OptimalSubset()

One lingering bug...