Fixes issue with subtraction on multiple recursive passes reseting.  Guava cannot subtract from a returned view.

Removes hard limit on sub matrix parameters, now respects query limit

Adds attentional testing to intersection transitive properties.