Make the WHIR path's hash a parameter, and add an RPX256 instantiation

Make the WHIR path's hash a parameter, and add an RPX256 instantiation #5276