JS backend: generate hashCode and toString
JS backend: tests for toString and hashCopy