I've published a new draft of SRFI 128 in which John Cowan,
the author, added this note:

  Post-finalization note: Because of the extremely high cost
  of conforming to the first and third conditions of
  default-hash, implementers may disregard those conditions
  and examine only a bounded portion of the argument.

Regards,

SRFI Editor