Update the "Verification Features" section to explain that lambda bodies are checked in isolation: creating a callback does not apply its state changes to captured objects, and callback invocation effects remain unsupported.

Follow-up to #2, as requested in the approval of liquid-java/liquidjava#386 (review).