System Verilog, WASM, and numpy? Sounds like a whole lot of complexity to do something a couple lines of Python could accomplish.

That's a misinformed take - you're not considering the specific use cases where performance, formal verification, and low-level control are necessary.