L1DataConsistencyChecker: Fix monitoring variable type (signed vs unsigned)

A difference between two unsigned numbers can of course be negative. Fix the type of the monitored variable "TobMinusCtpCount" from implicit size_t to explicit int. The value is negative whenever there are missing TOBs, which is exactly the situation this tool is meant to detect.