Add DFA_ACCEPTANCE Solver, Verifier, Draft Visualization and Draft GitHub PR Automation

[Trosper3]

Add DFA_ACCEPTANCE Solver, Verifier, and Draft Visualization. Added draft GitHub pull request automation in the file under workflows.

[wrigjl]

You have two disparate ideas on this branch: DFA acceptance and GitHub PR automation. A better practice (though a little more work), is to:

• switch back to the main branch (git checkout CSharpAPI)
• create a new branch for the new idea (e.g. git checkout -b github-pr-automation)
• make changes related to this idea
• commit them (git add [modified files] ; git commit -m "my cool stuff")
• push the changes to your repo (git push origin)
• request a PR of that branch

This way, you can have a lot of changes pending as long as they aren't in the same files AND we can review and merge them separately and easily.