Efficient Penalty-Based Bilevel Methods: Improved Analysis, Novel Updates, and Flatness Condition