Reverting changes to cachetable accounting in omt/dmt
add invariant