Add eggcc container benchmark and proof coverage#10

saulshanabrook merged 3 commits into

codex/eggcc-container-subtree-syncsaulshanabrook/egglog-encoding:codex/eggcc-container-subtree-syncfrom

codex/eggcc-container-benchmark-updatessaulshanabrook/egglog-encoding:codex/eggcc-container-benchmark-updatesCopy head branch name to clipboard