Vision Model Examples

Runnable image-model examples. These read prepared real image arrays at the Lean boundary. For CIFAR-10, run python3 scripts/datasets/download_example_data.py --cifar10; for ImageNet-style folders, use scripts/datasets/torchlean_data_convert.py image-folder.