Should RVA23 mandate Zvkt?

[oconnor663]

RVA23 currently mandates both Zkt and V, so it seems natural that it should also mandate Zvkt. Although the optional Zvkng and Zvksg extensions both imply Zvkt, high-performance implementations of a lot of software-oriented cryptography primitives (like ChaCha and Poly1305) depend only on V and Zvbb, and those implementations are likely to assume Zvkt even if it's not officially required.