disable the appears-to-be-a-bijection? check

... for now. It needs to go all the way thru nats (and not
the functions or use equal? directly) and data/enumerate
needs to support one-way enumerations before it can
be re-enabled