Use custom random source.
Make RequestLease() symmetric.
Clean up TODOs.