Add log_size fn to CircuitEval

[anatgstarkware]

No description provided.

[cursor]

PR Summary

Medium Risk
Touches the core CircuitEval trait and updates many generated components to satisfy the new API; mistakes in per-component log_size values could lead to incorrect sizing assumptions downstream.

Overview
Adds a new required CircuitEval::log_size(...) -> Option<u32> hook, allowing components to report their effective log size based on preprocessed column sizes.

To support this, OrderedHashMap is moved/centralized into circuits-stark-verifier (with serde support), and circuit-common, cairo_verifier, circuit_verifier, and examples are updated to import it from the new location. All verifier components implement log_size (mostly None, with a few returning constants or looking up a specific PreProcessedColumnId).

^{Reviewed by Cursor Bugbot for commit ec7945c. Bugbot is set up for automated code reviews on this repo. Configure here.}

[reviewable-StarkWare]

This change is 

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 79d9c69. Configure here.}