Improve coverage test asserts

This branch adds more asserts to the coverage test and makes sure coverage data is actually printed to stdout.