Set up property testing

[conartist6]

The best way to validate the engine as a whole would be property testing it against the language's builtin implementation

[conartist6]

We now know that there are some differences between this code and the language's implementation, for example on (.*)* and ()*. In these patterns the native engine's group one does not capture, where in this engine group one captures '' in both cases.