Pessimistic Proofs Live on Agglayer Mainnet