Switch dejail over to defines
Switch peel to using defines
Make peel prove equivalence
Use the vJail alias in a few places
Add notes about which benchmarks are still to convert