Penguin-rtl – Verilog equivalence checking locally in the browser (penguin-rtl.arjunv.net)