Write VK functionality for tube

[ledwards2225]

This could take a number of forms but ideally we would support CIVC via verify_proof_with_type() in noir so the tube could be written directly in noir. This would allow use of the existing write_vk. Part of that work would be logic for constructing a mock CIVC proof (as we do for the other write_vk flows).

Note: It might be possible/easier to simply construct a genuine CIVC proof from a real but arbitrary set of circuits instead of creating a dummy one. This is likely not acceptable long term but could help get this done faster initially.

[lucasxia01]

Also would allow us to remove the prove_tube function and file.

[ledwards2225]

This may be needed in order to facilitate a tube VK check in the base rollup

[federicobarbacovi]

Closed by https://github.com/AztecProtocol/aztec-packages/pull/16400 and https://github.com/AztecProtocol/aztec-packages/pull/16713 @ledwards2225