isValid

Performs internal consistency checks. Always returns true (or throws exception)