- revised destroyhandler to be more efficient, in view of how frequently
  env.destroyers() was being called.
- fixed errors in tensor.flatten(), but also changed semantics of the optional
  shape parameter.
- added testcases of the previous merge optimizer fix.