Clarify dependencies between ISA extensions (#845)

For consistency with the unprivileged ISA spec, use the verb "depend"
to say that an extension requires and implies another.

Explicitly state the dependence between V and Zve*.