Add documentation for optional verification arguments

[barbara-gigerl]

verify.py supports a row of arguments. The documentation of the following could be improved:

• --glitch-behavior
• --trace-stable
• --minimize-leaks