v1.3.0-alpha-1

Pre-release which is not yet feature complete and the usage of Proof might still be changed in a breaking manner. It already features:

• Proof and subtypes as successor of Assertion and co.
• Reporter which is based on Proof and aligns output
• link for intellij on the JVM platform

and the following fixes

• #1883 fix typo in DescriptionMapLikeProof by @robstoll in #1885
• #1884 take surrogate code points into account in RegexSearcher by @robstoll in #1886

And some further improvements which will be outlined in detail in the official v1.3.0 release

Full Changelog: v1.2.0...v1.3.0-alpha-1