PlonK : Polish multi_circuits

This MR implements some suggestions from @alocascio to make PlonK’s more suitable for use in rollups :

• Removing prove_list & verify_list
• Changing prover’s inputs type