doesn't match regex_to_circom

[Divide-By-0]

For the header regex, this command yarn compile '(\r\n|\x80)(to|from):((a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|0|1|2|3|4|5|6|7|8|9| |_|.|"|@|-)+<)?(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|0|1|2|3|4|5|6|7|8|9|_|.|-)+@(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|0|1|2|3|4|5|6|7|8|9|_|.|-)+>?\r\n' doesn't match the output from regex_to_circom. Here, it wrongly asserts that there are 3 accept states, but in the python + js version, it has 1 accept state and passes.

[katat]

This PR should cover the fix to this. I haven't run a test for this case yet, so let me know if it works.

Keep in mind the out representing the number of accepted states is renamed to entire_count, while the group_match_count is representing the number of matches for a specific alternative group in the regex. I am writing a readme to outline the usages so people don't get confused.

Meanwhile, the test cases in the code should imply the ins and outs.

[Divide-By-0]

Great! Looking forward to seeing those changes in the README/comments/documentation.