Wrap texvccheck call in PoolCounter

Change-Id: Iae9693d1948bec6dd08473bce3cb704f24338ff8