US8085587B2 - Non-Volatile Memory Device and Method of Verifying a Program Operation in the Same