Add Go fuzzing test files#122

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

runtimeverification:rv/go-fuzzing-testsruntimeverification/mithril:rv/go-fuzzing-testsCopy head branch name to clipboard