JS backend: stricter hashCode checks