Sparse GKR

[moodlezoup]

Overhaul of grand product code, introducing new traits and structs to leverage sparsity in the grand product circuits for instruction lookups. ~10% e2e speedup on the sha3 bench

Follow-ups for future PRs:

• Use sparse grand product for read-write memory
• Refactor remaining sumchecks