Prove that trappingProc implements isolateProc when trappingProc runs all the processes in disjoint memories, with the trap handler

[vmurali]

Note:

Finish the proof and upstream it. Perhaps an incomplete proof can also be upstreamed if a good point is reached in the proof - explore that.

[vmurali]

Fixed the invariant to not rely on memory not containing caps initially. This makes the invariants easier as the starting invariant is the same as any subsequent scheduling.