Fixes #904

 * Code coverage exceptions shouldn't clobber assertion exceptions.