Add verilator testbench for ALU module

[hasheddan]

Adds a small verilator testbench for ALU module and runs it in main CI workflow.