Update benchmark and Manticore ref