Documented use of field annotations in README.

Also fixed links to Assume and Rule javadocs.