Add tc_proper_model to script the validation of scenarios
Report all known failures up to a caught crash when verifying proper model
Merge pull request #36 from jaynel/proper

Add tc_proper_model to script the validation of scenarios