Add validation of group properties

[grysvn]

Right now I check closure in the implementation of Group, if a group has an identity, and if an element has an inverse. I don't check for any other properties to be true.

Here's a list of the properties.