¿Existe un corpus de escenarios al estilo wycheproof que haya causado que diferentes implementaciones de EVM generen raíces de estado inválidas? Parece una gran oportunidad para cualquiera que esté probando nuevas optimizaciones o construyendo nuevos clientes...