FHFA wants to evaluate how crypto can be used in underwriting; Saylor's model assesses credit via BTC reserves, risk and spreads.