framework: rename type-1 verify_proofs fixture to verify_single_message_proofs#811

tcoratger merged 1 commit into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

unnawut:verify-proofs-renameunnawut/leanSpec:verify-proofs-renameCopy head branch name to clipboard