Coverage tests / semantic tests

[cmester0]

Should we move the running of coverage into the tests? We are not testing the extraction, just that the semantics are still valid. So the tests are different, but could also be snapshots. That would reduce the need re-extracting and re-testing, unless the snapshots actually differ.