Zircuit Lancia il Testnet Garfield con Opcode Cancun e Pectra, Prover Potenziato