Update the ways CPS is used in the compiler

[sonmarcho]

The Aeneas compiler is implemented in CPS because we need to progressively build the execution trace (which is in essence a tree with holes). The way the CPS style is currently implemented makes it very hard to get debugging traces when a failure occurs.