[Misc] Fix TPC check which can be as low as 35.58%, caused by randomness in the JVM (see https://github.com/jacoco/jacoco/issues/80)