Bilevel Optimization with a Lower-level Contraction: Optimal Sample Complexity without Warm-Start