Verifier doc addendum.
Added note about hand-over-hand locking.
diff --git a/docs/verifier.html b/docs/verifier.html
index 4c1f2e6..276967f 100644
@@ -115,9 +115,14 @@
held in register N, you can exit the monitor using register N or any
subsequently-made copies of register N. The verifier does not attempt
to identify previously-made copies, track loads and stores through
-fields, or recognize identical constant values (e.g. the result of two
-<code>const-class</code> instructions on the same class will always result
-in the same reference).
+fields, or recognize identical constant values (for example, the result
+values from two <code>const-class</code> instructions on the same class
+will be the same reference, but the verifier doesn't recognize this).
+Further, you may only exit the monitor most recently entered. "Hand
+over hand" locking techniques, e.g. "lock A; lock B; unlock A; unlock B",
+are not allowed.
This means that there are a number of situations in which the verifier