Fuzz

Bump model-checking/kani-github-action from 1.0 to 1.1 #5

Job	Run time
fuzz (bitcoin_deserialize_address)	4m 53s
fuzz (bitcoin_deserialize_amount)	5m 16s
fuzz (bitcoin_deserialize_block)	4m 48s
fuzz (bitcoin_deserialize_prefilled_transaction)	4m 6s
fuzz (bitcoin_deserialize_psbt)	4m 46s
fuzz (bitcoin_deserialize_script)	4m 47s
fuzz (bitcoin_deserialize_transaction)	4m 17s
fuzz (bitcoin_deserialize_witness)	5m 24s
fuzz (bitcoin_deser_net_msg)	5m 22s
fuzz (bitcoin_outpoint_string)	5m 13s
fuzz (bitcoin_script_bytes_to_asm_fmt)	4m 38s
fuzz (hashes_cbor)	5m 52s
fuzz (hashes_json)	5m 2s
fuzz (hashes_ripemd160)	5m 9s
fuzz (hashes_sha1)	5m 16s
fuzz (hashes_sha256)	5m 20s
fuzz (hashes_sha512_256)	4m 48s
fuzz (hashes_sha512)	4m 44s
verify-execution	0s
	1h 29m 41s

Provide feedback