Zircuit lance le testnet Garfield avec les opcodes Cancun et Pectra, Prover amélioré