Bump coverage-model to correct unit test failures.