RF: remove dump_namespace from Builder

- no longer needed, hopefully (was useful for debugging)