US9418747B2 - Nonvolatile Memory Device Maintaining a Bitline Precharge During Program Verification Periods for Multi-Level Memory Cells and Related Programming Method