Cleanup heap verification.
Eval now uses correct string length.