add gate verification post-copy, fix minor update bug