Logged TCKF consistency checking process to help in the debugging
process.