This is the class used to verify the proof generated by ProofGenerator object.
You can use the ProofVerifier as is without subclassing it if you have the standard output variables which are the timestamp and the constraint status. If your proof function has custom output parameters, then you need to subclass this class and override the parseCustomOutput method.