update to latest targets spec, update verification, add reformat script