add proof encoding for Apply.v
This closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/95 by adding proof for denunciation_kind_encoding
This closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/95 by adding proof for denunciation_kind_encoding