Extract new AIR design from AIR Workshop

[MauroToscano]

AIR design has been extended and simplified over these PRs: #834 #697

But the changes are coupled with a change on how Cairo is proven. We need to bring only the changes of the trace and the AIR to main.

Notice in the workshop version some redudant data has been removed, but most of the work is in the refactor cairo trace PR.