Update documentation for JVM verification commands.
Update documentation for JVM verification commands.

We now use the term "method" instead of "function".
Also we avoid mentioning "Crucible" at all, as this
is an implementation detail that is not user-relevant.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script