BPT/EPT ordering is checked by the reader

    Limitations
    - It's not checked during writing/creation
    - this is flagging as a non-fatal error.  It should probably
      be rejecting the TU somehow.  I think another error category is
      needed.