Recompute the Simplex and separating vector from the stored data at the current relative transform This aborts if we have no simplex data to restore or the origin is inside the simplex. Outputs must already have reasonable default values for running GJK without a warm-start.