Provable Tempered Overfitting of Minimal Nets and Typical Nets