EIP-1962: EC arithmetic and pairings with runtime definitions for Shanghai-candidate

Related: EIP-2537 seems to move forward a lot: