Dsa.K_genK_gen can be instantiated over a hashing module to obtain an RFC6979 compliant k-generator for that hash.
val generate : key:priv -> string -> Z.tgenerate key digest deterministically takes the given private key and message digest to a k suitable for seeding the signing process.