Removed or commented-out most of the invariant assertions -- it appears the DIET bugs have been resolved.