swift234

[stdlibunittest] WIP Adding axiom checking

Check that the expected laws hold for models of Equatable, Hashable,
Incrementable, and ForwardIndexType.

Swift SVN r29988