You could probably truncate the weights to be much smaller and it would just cause a runtime error. Or replace it with mostly zeros. Unlikely that they checksum the file. But ultimately it is a losing battle -- in browser LLM is coming, and future APIs will expose it to js, and it will become essential.