A random property testing tool for JavaScript