Sobre el refactor de las validation rules:

Vimos 2 formas posibles de resolverlo:
1. Realizar las validaciones de los built ins una vez que se ejecuto el run_until_pc.
(Puede tener la contra de cuando nos pidan ejecutar la vm hasta X PC).
Tambien habría que preguntarle a la gente de starkware si es correcto hacer esto ya que perderiamos la invariante de que cada insert en la memoria es valido.
Otra contra es que ademas necesitariamos traernos de alguna manera el contexto en el cual se inserto ese valor a la memoria para ayudar con el reporte del error.
Implementarlo no sería muy complejo, pero modifica el comportamiento de la VM
2. Acumular en un vector en Memory todas las inserciones en memoria que se produjieron en el step, una vez que se ejecuto el step realizar las validaciones.
Aplica la misma contra de necesidad de contexto del insert a la hora de reportar un error.
Tambien podria aplicar la contra de que cambia el comportamiento de la vm, pero esto depende de si se necesita correr algo mas chico que un step. Pero es algo a tener en cuenta.