Bundled logit-bound report CLI

Command entry point for checking the bundled logit-bound report. The JSON checker lives in NN.Verification.Robustness.MarginCert; this module supplies the repository default artifact path used by scripts/lake.sh exe verify -- margin-report.

def NN.Verification.Robustness.MarginCertCLI.defaultPath : String

Bundled report generated by the robustness export script.

def NN.Verification.Robustness.MarginCertCLI.run (args : List String) : IO Unit

CLI entry point for scripts/lake.sh exe verify -- margin-report [report.json].