Verifier presentation failure adjustments

[bobozaur]

This PR fixes an emerging problem regarding the verifier not doing anything in case the presentation verification fails (a problem report might be generated, but not sent, so the prover would be in the dark).

[codecov-commenter]

Codecov Report

Merging #830 (de7d800) into main (07c35cb) will increase coverage by 0.01%.
The diff coverage is 81.25%.

@@            Coverage Diff             @@
##             main     #830      +/-   ##
==========================================
+ Coverage   49.00%   49.01%   +0.01%     
==========================================
  Files         410      410              
  Lines       33495    33500       +5     
  Branches     7436     7451      +15     
==========================================
+ Hits        16413    16421       +8     
+ Misses      11968    11965       -3     
  Partials     5114     5114              

Flag	Coverage Δ
unittests-aries-vcx	48.98% <81.25%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
...ocols/proof_presentation/verifier/state_machine.rs	49.05% <81.25%> (+1.78%)	⬆️

... and 2 files with indirect coverage changes