Add the protosol protobuf files used for solfuzz differential fuzzing#123

yiyi-wang-rv wants to merge 1 commit intoOverclock-Validator:devOverclock-Validator/mithril:devfrom

runtimeverification:rv/protosolruntimeverification/mithril:rv/protosolCopy head branch name to clipboard