Merge changes from topics "fix-header-checker-tests ×", "fix-header-checker-tests"

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