GetHashCodeSuccessiveAssertion implemented

Putting up this PR for review, I still need to work on the other assertion(s). Just wanted to get some feedback about the way I'm going about it. Yay or nay?
I'll fix it as part of the next GetHashCodeAssertion.