Raphael Panic

Related work #190 In addition to runtime methods being sideloaded into the BlockProver, we also want to sideload StateTransition proofs into the BlockProver and BlockProofs into the Settlement Contract. This...

@dloghin In o1js and protokit, all of your code will always be executed, this means both branches of all `Provable.if` calls will be called, but only one will be returned....