Originally the merge protocol was part of the UltraHonk protocol. It is now a separate protocol and there is no reason for the ultra_composer to be responsible for constructing the merge prover/verifier. Extract the merge protocol from UltraHonk in this sense and any other to make the abstraction cleaner. Probably Goblin should be responsible for constructing merge prover/verifier. Make any other changes necessary to make the encapsulation clean.
Originally the merge protocol was part of the UltraHonk protocol. It is now a separate protocol and there is no reason for the ultra_composer to be responsible for constructing the merge prover/verifier. Extract the merge protocol from UltraHonk in this sense and any other to make the abstraction cleaner. Probably Goblin should be responsible for constructing merge prover/verifier. Make any other changes necessary to make the encapsulation clean.