feat(cli): Verify return
against ABI and Prover.toml
#16630
Loading
return
against ABI and Prover.toml
#16630