quantum program verification