Add tests for VP proofs

Georgi Michevrequested to merge
3-check-vc-proofs-when-making-vp-proof into main

The tests should catch an error if any of the VC in the VP has been tampered.

Closes #3 (closed)

Merge request reports