fixes #145 Add a finalize continuation to the partial eviction callback
which encapsulates the 'function ending' behavior of eviction - changing
the pair's attribute and releasing locks. After finalize continuation,
it's safe to do expensive resource deallocation (but contract forbids
continued use of the ftnode, since it's not locked)