Multilevel programming verification