The Spanish Inquisition for your API - a property-based testing tool written in Javascript