Fixed a logic bug in PatriciaSet.Forall so it works correctly.
Implemented the rest of the unit tests for IntSet.