Verifier doc addendum. Added note about hand-over-hand locking. Change-Id: I9912e87f2585c3d225b93e037c04f9bf7e2cff14