GeezerVison

The docs explain annotation syntax but lack a guide to how verification uses it. Add a Verification Features section after Annotations, covering assignments, method calls and returns, conditionals, and recursion. Include accepted and rejected Java examples, explain the limit of recursive contract checking, and link to the existing state, external-refinement, and diagnostic guides.

Closes #1.

Validation: Jekyll build passed. All seven Java examples were extracted directly from the new pages and checked with LiquidJava at dd02e996: five expected errors occurred at their documented locations, with no additional errors. Checked all four rendered pages' internal links (199 targets), sitemap/search entries, browser navigation, and git diff --check.