add rapidcheck tests

See https://github.com/emil-e/rapidcheck