Change witness keys list to be hashes of keys

[swcurran]

Since the keys need to be fully defined in the witness proofs, just use the hash of the keys in the witness array. We can still verify if we get a threshold.

This will reduce the size of the entries when we go to PQC keys.