Fix dependencies/location of files (relating to PG, possibly others)

Currently ultra_honk depends on protogalaxy because the composer has protogalaxy related functions. However, after the composer is eliminated, we can remove this dependence.

As a result of this dependence, the shared prover/verifier code is placed in protogalaxy temporarily, but should be moved to ultra_honk.