gh-5: Adding broken model specifications.
add yaml exception catchers plus small fixes
Converting assertions to throwing exceptions.

Also re-throwing exceptions after catching them.
alignment
evokify state names in cpg examples
Merge branch 'master' into 5-broken-model-specs