Add builtin data structure benchmark framework for booster - #4139

Add builtin data structure benchmark framework for booster#4139

Stevengre wants to merge 6 commits into

masterruntimeverification/haskell-backend:masterfrom

benchmark-frameworkruntimeverification/haskell-backend:benchmark-frameworkCopy head branch name to clipboard