Squashed commit of the following: WIP trusted compute enclave

commit b899cd2
Author: June Rousseau <[email protected]>
Date:   Wed Dec 25 22:56:06 2024 +0100

    WIP setup for custom enclave contract

commit 40b7568
Author: June Rousseau <[email protected]>
Date:   Tue Dec 24 11:25:29 2024 +0100

    WIP proof TC example: setup for custom enclave predicates

commit 731e84b
Author: June Rousseau <[email protected]>
Date:   Tue Dec 24 02:50:31 2024 +0100

    WIP proof TC example

commit c4c3755
Author: June Rousseau <[email protected]>
Date:   Tue Dec 24 02:50:10 2024 +0100

    New WP rule for UnSeal

commit 8a5b904
Author: June Rousseau <[email protected]>
Date:   Tue Dec 24 02:50:01 2024 +0100

    Generalise spec macros

commit b57a5d2
Author: June Rousseau <[email protected]>
Date:   Mon Dec 23 21:47:14 2024 +0100

    WIP proof callback trusted compute example

commit 0292d5b
Author: June Rousseau <[email protected]>
Date:   Mon Dec 23 21:46:35 2024 +0100

    Fix code trusted compute example

commit 7836df2
Author: June Rousseau <[email protected]>
Date:   Mon Dec 23 18:04:49 2024 +0100

    Simplification WP rule is_unique