* changes: Fix missing setter for RecordKind. Make create_reference_dumps.py faster. Fix how header-checker tests run.