verifyConsistent

fun verifyConsistent()

Throw a diagnostic exception if the internal tracking tables are inconsistent.