Various of Ben's core code changes seem to have fixed the problem with
dumping range tables; I imagine it should be possible to uncomment the
assertion. Will build with something close to Vin's configuration and try.