Add jsverify for property-based testing

This might deprecate the existing `'small ints'` test.