Merge "Verifier doc addendum." into dalvik-dev