Robustness verification

Reusable robustness-verification workflows and data-backed certified-accuracy utilities.

The artifacts under NN/Examples/Verification/Robustness stay thin: they choose default asset paths and CLI names, while reusable loaders, typed model shapes, and certified-accuracy logic live here.