bb verify exits silently when verifying a proof with vkey of a different circuit

[saleel]

bb verify throws an error if the proof is invalid/tampered and typically exit silently when the verification is successful.

However, if you attempt to verify a proof with the vkey of a different circuit if fail silently (indicating success). Running with -v flag prints the below log though:

bb command is: verify
Initializing BN254 prover CRS from memory with num points = 0
verified: 0

verified: 0 or verified: 1 should always be printed without adding verbose flag to avoid confusions