Use theft for property-based testing

[hypirion]

Theft is a c library for property-based testing. Moving tests over from the current setup will give us shrinking capabilities, better random generation of RRB-trees, and consequently better coverage of corner cases.