5 hours and no bugs found

The random-unlimited test has run more than five full hours without running into issues. This makes it more stable than all of the previous versions, including the latest stable 1.2.0 version, for which it usually didn't take more than 5-10 minutes to find bugs.

Unless more issues are found within the next 48h, this version is going to be re-released as version 2.0.0 stable.