Implements specialized subsetOf for HashSet

Fixes SI-7326. This also adds a basic test for subsetOf that was missing before.

Review by @Ichoran, @soc

@Ichoran: feel free to integrate the subsetOf test into your collection comparison test suite and remove the testCorrectness part of t7326.scala