vsdg: use "leave" node at bottom lambda body
vsdg: use "leave" node at bottom lambda body

The bottom node of the body of a lambda abstraction should be
a "leave" node, not "enter".

phate/jive,phate/jive,phate/jive