Moved shared verification closer to examples
Created function 'examples'

Allows for a more natural syntax when creating a group of examples (though it
can also contain setup, teardown, child groups, etc)
Simple matcher for expected exception message