Upgraded NizkpRcgVcs to 2013
cut_sort_diff inline and improved assert_empty