Fixed wrong conditions in assertions
Added implementation of ICodeContractViolationNotifier using exceptions - ExceptionNotifier