Are c.mul, c.not, and c.zext.b from Zcb included in Zkt?

[topperc]

These are compressed versions of instructions that are explicitly listed in Zkt. Does that mean they are also in Zkt?

I think they need to be in order for assembler compression to be valid.

[aswaterman]

Would you mind preparing a PR that does this? This should have been handled as part of merging the Zcb spec into the main spec... call it an editing error.