I've noticed that the perceived view in the netops community -- backed up by mailing list messages today, even -- is that such an IPv4 broker market is an inevitability no matter what the RIRs do. There are policies about it, but some regions (i.e., APNIC) have a model that encourages reselling space without their involvement.