tvm check shows the number of cached checks #66