Add notes to CHANGES.md related to new JVM verification commands.
Add notes to CHANGES.md related to new JVM verification commands.

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