JavaScript backend for verilator