Case Study: Hardening New XRPL Amendments for Ripple with Halborn