v0.7.34

What's Changed

• [ci] Pin Kani version by @joshlf in #1189
• [ci] Roll pinned nightly toolchain by @google-pr-creation-bot in #1194
• [ci] Roll pinned nightly toolchain by @joshlf in #1203
• [Backport] Set manifest keywords and categories by @jswrenn in #1043

Full Changelog: v0.7.33...v0.7.34