evm_arithmetization is used at run time in 2 crates.

Depender (with downloads and own rev deps) evm_arithmetization version
450 proof_gen ^0.4.0
trace_decoder ^0.4.0