feat: Add a unique state id to each NFA state.

[SharafMohamed]

References

• Depends on feat: Add register operations and DFA transitions. #89 .
• To review in parallel run:

git fetch upstream pull/89/head:pr-89
git fetch upstream pull/90/head:pr-90
git diff pr-89 pr-90

Description

• Add a state id to each NFA state.
• This is useful for debugging as this allows for tracking a deterministic state-id instead of a non-deterministic state pointer.
• This is also useful for making the determinization deterministic in the future TDFA PRs.

Validation performed

• Existing tests pass.

Summary by CodeRabbit

• Chores

  • Enhanced the build process with updated operating system specifications and improved logging for test failures.

• Refactor

  • Overhauled the underlying pattern matching and state transition components, resulting in more robust error handling and streamlined serialization.

• New Features

  • Introduced a unique identifier generator and refined capture management to deliver more reliable regex and lexer performance.

• Tests

  • Expanded the test suite to validate improvements in pattern matching, lexer functionality, and register management.
  • Added new tests for the Capture class and enhanced tests for the DFA and lexer functionalities.
  • Updated tests to reflect changes in the NFA serialization logic and improved handling of spontaneous transitions.