release

Releases lease. Idempotent, and null-safe so a caller can release a hold it may never have taken.

Releasing a stale lease is harmless: its id is already gone, and other holders of the same operation keep theirs.