Property-based tests for JsonLike[JValue]