beamer: agent: emit a log entry when OP prove is successful, too

[istankovic]

Also provide provide claim in the log to facilitate debugging.