Vyper -O0 vs -O2: Repeatable Build Trade‑off
Determine whether to compile Vyper contracts with the -O0 or -O2 flag in a repeatable development environment, balancing the need for verifiable, deterministic bytecode against the desire for lower gas consumption. Using -O0 disables all optimizer passes, producing bytecode that closely follows the source layout and simplifies formal verification and storage
