Verification

Public API for checking a trained model over an input region:

let trained ← trainer.train dataset { steps := 100 }
let result ← trained.verify input (radius := 0.05) (norm := .inf)

Use (property := .topLabel label) to certify one output label. Explicit graph construction and inspection live in NN.API.Verification.Lowering.