Made it produce more trace output for the verification result caching.
Made it produce more trace output for the verification result caching.
Fix issue in computation of checksums for assume statements.