modified invariant checking to include the name of the class in the contract violation message
modified invariant checking to include the name of the class in the contract violation message

grn/handshake,bguthrie/handshake