Added softusb_navre equivialence checking script