Simplify instrumentation logic for code coverage
Update README a bit

[ci skip]