0.5.2 improvement and fixes for 0.5.1

Main fix is to make small_int back to its original behavior, introduce small_nat for small positive integers instead. This matters because small_int would often be used as the size generator of random collections.
This release also contains other bugfixes and the notion of long tests.

0.5.1

Bugfix release, with a few more functions for uniformity.