Text this: RuvC uses dynamic probing of the Holliday junction to achieve sequence specificity and efficient resolution