Property based testing for jhn_stdlib.